Struct rustc_middle::ty::PredicateInner

pub(crate) struct PredicateInner<'tcx> {
    kind: Binder<'tcx, PredicateKind<'tcx>>,
    flags: TypeFlags,
    outer_exclusive_binder: DebruijnIndex,
}

Fields

kind: Binder<'tcx, PredicateKind<'tcx>>

flags: TypeFlags

outer_exclusive_binder: DebruijnIndex

See the comment for the corresponding field of TyS.

Trait Implementations

impl<'tcx> ArenaAllocatable<'tcx, PredicateInner<'tcx>> for PredicateInner<'tcx>

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self

fn allocate_from_iter<'a>(
    arena: &'a Arena<'tcx>,
    iter: impl IntoIterator<Item = Self>
) -> &'a mut [Self]

impl<'tcx> Debug for PredicateInner<'tcx>

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

Formats the value using the given formatter.

impl<'a, 'tcx> Lift<'tcx> for &'a PredicateInner<'a>

type Lifted = &'tcx PredicateInner<'tcx>

fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>