Struct CommonTypes 

pub struct CommonTypes<'tcx> {

    pub unit: Ty<'tcx>,
    pub bool: Ty<'tcx>,
    pub char: Ty<'tcx>,
    pub isize: Ty<'tcx>,
    pub i8: Ty<'tcx>,
    pub i16: Ty<'tcx>,
    pub i32: Ty<'tcx>,
    pub i64: Ty<'tcx>,
    pub i128: Ty<'tcx>,
    pub usize: Ty<'tcx>,
    pub u8: Ty<'tcx>,
    pub u16: Ty<'tcx>,
    pub u32: Ty<'tcx>,
    pub u64: Ty<'tcx>,
    pub u128: Ty<'tcx>,
    pub f16: Ty<'tcx>,
    pub f32: Ty<'tcx>,
    pub f64: Ty<'tcx>,
    pub f128: Ty<'tcx>,
    pub str_: Ty<'tcx>,
    pub never: Ty<'tcx>,
    pub self_param: Ty<'tcx>,
    pub trait_object_dummy_self: Ty<'tcx>,
    pub ty_vars: Vec<Ty<'tcx>>,
    pub fresh_tys: Vec<Ty<'tcx>>,
    pub fresh_int_tys: Vec<Ty<'tcx>>,
    pub fresh_float_tys: Vec<Ty<'tcx>>,
    pub anon_bound_tys: Vec<Vec<Ty<'tcx>>>,
    pub anon_canonical_bound_tys: Vec<Ty<'tcx>>,
}

Fields

unit: Ty<'tcx>

bool: Ty<'tcx>

char: Ty<'tcx>

isize: Ty<'tcx>

i8: Ty<'tcx>

i16: Ty<'tcx>

i32: Ty<'tcx>

i64: Ty<'tcx>

i128: Ty<'tcx>

usize: Ty<'tcx>

u8: Ty<'tcx>

u16: Ty<'tcx>

u32: Ty<'tcx>

u64: Ty<'tcx>

u128: Ty<'tcx>

f16: Ty<'tcx>

f32: Ty<'tcx>

f64: Ty<'tcx>

f128: Ty<'tcx>

str_: Ty<'tcx>

never: Ty<'tcx>

self_param: Ty<'tcx>

trait_object_dummy_self: Ty<'tcx>

A dummy type that can be used as the self type of trait object types outside of ty::ExistentialTraitRef, ty::ExistentialProjection, etc.

This is most useful or even necessary when you want to manipulate existential predicates together with normal predicates or if you want to pass them to an API that only expects normal predicates.

Indeed, you can sometimes use the trait object type itself as the self type instead of this dummy type. However, that’s not always correct: For example, if said trait object type can also appear “naturally” in whatever type system entity you’re working with (like predicates) but you still need to be able to identify the erased self type later on. That’s when this dummy type comes in handy.

HIR ty lowering guarantees / has to guarantee that this dummy type doesn’t appear in the lowered types, so you can “freely” use it (see warning below).

Under the hood, this type is just ty::Infer(ty::FreshTy(0)). Consequently, you must be sure that fresh types cannot appear by other means in whatever type system entity you’re working with.

Keep uses of this dummy type as local as possible and try not to leak it to subsequent passes!

ty_vars: Vec<Ty<'tcx>>

Pre-interned Infer(ty::TyVar(n)) for small values of n.

fresh_tys: Vec<Ty<'tcx>>

Pre-interned Infer(ty::FreshTy(n)) for small values of n.

fresh_int_tys: Vec<Ty<'tcx>>

Pre-interned Infer(ty::FreshIntTy(n)) for small values of n.

fresh_float_tys: Vec<Ty<'tcx>>

Pre-interned Infer(ty::FreshFloatTy(n)) for small values of n.

anon_bound_tys: Vec<Vec<Ty<'tcx>>>

Pre-interned values of the form: Bound(BoundVarIndexKind::Bound(DebruijnIndex(i)), BoundTy { var: v, kind: BoundTyKind::Anon}) for small values of i and v.

anon_canonical_bound_tys: Vec<Ty<'tcx>>

Implementations

impl<'tcx> CommonTypes<'tcx>

fn new(interners: &CtxtInterners<'tcx>) -> CommonTypes<'tcx>

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: 328 bytes