Struct rustc_middle::ty::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>

pub(in ty) fn instantiate_into(
    &self,
    tcx: TyCtxt<'tcx>,
    instantiated: &mut InstantiatedPredicates<'tcx>,
    substs: SubstsRef<'tcx>
)

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

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

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

Formats the value using the given formatter.

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

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

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

pub fn default() -> GenericPredicates<'tcx>

Returns the "default value" for a type.

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

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

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

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