Struct rustc_middle::ty::generics::GenericPredicates

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

Bounds on generics.

Fields

parent: Option<DefId>

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

Implementations

impl<'tcx> GenericPredicates<'tcx>

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

pub fn instantiate_own(
    &self,
    tcx: TyCtxt<'tcx>,
    substs: SubstsRef<'tcx>
) -> InstantiatedPredicates<'tcx>

fn instantiate_into(
    &self,
    tcx: TyCtxt<'tcx>,
    instantiated: &mut InstantiatedPredicates<'tcx>,
    substs: SubstsRef<'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<'tcx>> Decodable<__D> for GenericPredicates<'tcx>

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

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

fn default() -> GenericPredicates<'tcx>

Returns the “default value” for a type.

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

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

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

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

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

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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