Struct ConstConditions

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

~const bounds for a given item. This is represented using a struct much like GenericPredicates, where you can either choose to only instantiate the “own” bounds or all of the bounds including those from the parent. This distinction is necessary for code like compare_method_predicate_entailment.

Fields

parent: Option<DefId>

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

Implementations

impl<'tcx> ConstConditions<'tcx>

pub fn instantiate( self, tcx: TyCtxt<'tcx>, args: GenericArgsRef<'tcx>, ) -> Vec<(PolyTraitRef<'tcx>, Span)>

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

pub fn instantiate_own_identity( self, ) -> impl Iterator<Item = (PolyTraitRef<'tcx>, Span)> + DoubleEndedIterator + ExactSizeIterator

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

pub fn instantiate_identity( self, tcx: TyCtxt<'tcx>, ) -> Vec<(PolyTraitRef<'tcx>, Span)>

fn instantiate_identity_into( self, tcx: TyCtxt<'tcx>, instantiated: &mut Vec<(PolyTraitRef<'tcx>, Span)>, )

Trait Implementations

impl<'tcx> Clone for ConstConditions<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ConstConditions<'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 ConstConditions<'tcx>

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

impl<'tcx> Default for ConstConditions<'tcx>

fn default() -> ConstConditions<'tcx>

Returns the “default value” for a type.

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

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

impl<'tcx> EraseType for ConstConditions<'tcx>

type Result = [u8; 24]

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

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

impl ParameterizedOverTcx for ConstConditions<'static>

type Value<'tcx> = ConstConditions<'tcx>

impl<'tcx> Copy for ConstConditions<'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