Type Alias rustc_middle::query::queries::explicit_predicates_of::ProvidedValue

pub type ProvidedValue<'tcx> = GenericPredicates<'tcx>;

This type alias specifies the type returned from query providers and the type used for decoding. For regular queries this is the declared returned type V, but arena_cache will use <V as Deref>::Target instead.

Aliased Type

struct ProvidedValue<'tcx> {
    pub parent: Option<DefId>,
    pub predicates: &'tcx [(Clause<'tcx>, Span)],
}

Fields

parent: Option<DefId>

predicates: &'tcx [(Clause<'tcx>, Span)]

Implementations

impl<'tcx> GenericPredicates<'tcx>

pub fn instantiate( &self, tcx: TyCtxt<'tcx>, args: GenericArgsRef<'tcx> ) -> InstantiatedPredicates<'tcx>

pub fn instantiate_own( &self, tcx: TyCtxt<'tcx>, args: GenericArgsRef<'tcx> ) -> impl Iterator<Item = (Clause<'tcx>, Span)> + DoubleEndedIterator + ExactSizeIterator

fn instantiate_into( &self, tcx: TyCtxt<'tcx>, instantiated: &mut InstantiatedPredicates<'tcx>, args: GenericArgsRef<'tcx> )

pub fn instantiate_identity( &self, tcx: TyCtxt<'tcx> ) -> InstantiatedPredicates<'tcx>

fn instantiate_identity_into( &self, tcx: TyCtxt<'tcx>, instantiated: &mut InstantiatedPredicates<'tcx> )

Trait Implementations

impl<'tcx> Clone for GenericPredicates<'tcx>

fn clone(&self) -> GenericPredicates<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for GenericPredicates<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for GenericPredicates<'tcx>

fn decode(__decoder: &mut __D) -> Self

impl<'tcx> Default for GenericPredicates<'tcx>

fn default() -> GenericPredicates<'tcx>

Returns the “default value” for a type.

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for GenericPredicates<'tcx>

fn encode(&self, __encoder: &mut __E)

impl<'tcx> EraseType for GenericPredicates<'tcx>

type Result = [u8; 24]

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for GenericPredicates<'tcx>

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )

impl ParameterizedOverTcx for GenericPredicates<'static>

type Value<'tcx> = GenericPredicates<'tcx>

impl<'tcx> Copy for GenericPredicates<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size:24 bytes