Struct rustc_middle::ty::flags::FlagComputation
source · pub struct FlagComputation {
pub flags: TypeFlags,
pub outer_exclusive_binder: DebruijnIndex,
}
Fields§
§flags: TypeFlags
§outer_exclusive_binder: DebruijnIndex
see Ty::outer_exclusive_binder
for details
Implementations§
source§impl FlagComputation
impl FlagComputation
fn new() -> FlagComputation
pub fn for_kind(kind: &TyKind<'_>) -> FlagComputation
pub fn for_predicate(binder: Binder<'_, PredicateKind<'_>>) -> FlagComputation
pub fn for_const(c: Const<'_>) -> TypeFlags
pub fn bound_var_flags(vars: &List<BoundVariableKind>) -> FlagComputation
fn add_flags(&mut self, flags: TypeFlags)
sourcefn add_bound_var(&mut self, binder: DebruijnIndex)
fn add_bound_var(&mut self, binder: DebruijnIndex)
indicates that self
refers to something at binding level binder
sourcefn add_exclusive_binder(&mut self, exclusive_binder: DebruijnIndex)
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
sourcefn bound_computation<T, F>(&mut self, value: Binder<'_, T>, f: F)where
F: FnOnce(&mut Self, T),
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.
fn add_kind(&mut self, kind: &TyKind<'_>)
fn add_predicate(&mut self, binder: Binder<'_, PredicateKind<'_>>)
fn add_predicate_atom(&mut self, atom: PredicateKind<'_>)
fn add_ty(&mut self, ty: Ty<'_>)
fn add_tys(&mut self, tys: &[Ty<'_>])
fn add_region(&mut self, r: Region<'_>)
fn add_const(&mut self, c: Const<'_>)
fn add_existential_projection(&mut self, projection: &ExistentialProjection<'_>)
fn add_alias_ty(&mut self, alias_ty: AliasTy<'_>)
fn add_args(&mut self, args: &[GenericArg<'_>])
fn add_term(&mut self, term: Term<'_>)
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for FlagComputation
impl Send for FlagComputation
impl Sync for FlagComputation
impl Unpin for FlagComputation
impl UnwindSafe for FlagComputation
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T
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: 8 bytes