Struct GenericPredicates

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

Bounds on generics.

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

pub fn instantiate_own_identity( self, ) -> 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