Struct rustc_middle::ty::flags::FlagComputation

pub struct FlagComputation {
    pub flags: TypeFlags,
    pub outer_exclusive_binder: DebruijnIndex,
}

Fields

flags: TypeFlags

outer_exclusive_binder: DebruijnIndex

Implementations

impl FlagComputation

pub(in ty::flags) fn new(
) -> FlagComputation

pub fn for_kind(kind: &TyKind<'_>) -> FlagComputation

pub fn for_predicate(kind: PredicateKind<'_>) -> FlagComputation

pub fn for_const(c: &Const<'_>) -> TypeFlags

pub(in ty::flags) fn add_flags(
    &mut self,
    flags: TypeFlags
)

pub(in ty::flags) fn add_bound_var(
    &mut self,
    binder: DebruijnIndex
)

indicates that self refers to something at binding level binder

pub(in ty::flags) fn add_exclusive_binder(
    &mut self,
    exclusive_binder: DebruijnIndex
)

indicates that self refers to something inside binding level binder -- not bound by binder, but bound by the next binder internal to it

pub(in ty::flags) fn bound_computation<T, F>(
    &mut self,
    value: Binder<T>,
    f: F
) where
    F: FnOnce(&mut Self, T), 

Adds the flags/depth from a set of types that appear within the current type, but within a region binder.

pub(in ty::flags) fn add_kind(
    &mut self,
    kind: &TyKind<'_>
)

pub(in ty::flags) fn add_predicate_kind(
    &mut self,
    kind: PredicateKind<'_>
)

pub(in ty::flags) fn add_predicate_atom(
    &mut self,
    atom: PredicateAtom<'_>
)

pub(in ty::flags) fn add_ty(
    &mut self,
    ty: Ty<'_>
)

pub(in ty::flags) fn add_tys(
    &mut self,
    tys: &[Ty<'_>]
)

pub(in ty::flags) fn add_region(
    &mut self,
    r: Region<'_>
)

pub(in ty::flags) fn add_const(
    &mut self,
    c: &Const<'_>
)

pub(in ty::flags) fn add_existential_projection(
    &mut self,
    projection: &ExistentialProjection<'_>
)

pub(in ty::flags) fn add_projection_ty(
    &mut self,
    projection_ty: ProjectionTy<'_>
)

pub(in ty::flags) fn add_substs(
    &mut self,
    substs: &[GenericArg<'_>]
)

Trait Implementations

impl Debug for FlagComputation

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

Formats the value using the given formatter.