Type Alias SimplifiedType

pub type SimplifiedType = SimplifiedType<DefId>;

Aliased Type

pub enum SimplifiedType {
    Bool,
    Char,
    Int(IntTy),
    Uint(UintTy),
    Float(FloatTy),
    Adt(DefId),
    Foreign(DefId),
    Str,
    Array,
    Slice,
    Ref(Mutability),
    Ptr(Mutability),
    Never,
    Tuple(usize),
    MarkerTraitObject,
    Trait(DefId),
    Closure(DefId),
    Coroutine(DefId),
    CoroutineWitness(DefId),
    Function(usize),
    UnsafeBinder,
    Placeholder,
    Error,
}

Variants

Bool

Char

Int(IntTy)

Uint(UintTy)

Float(FloatTy)

Adt(DefId)

Foreign(DefId)

Str

Array

Slice

Ref(Mutability)

Ptr(Mutability)

Never

Tuple(usize)

MarkerTraitObject

A trait object, all of whose components are markers (e.g., dyn Send + Sync).

Trait(DefId)

Closure(DefId)

Coroutine(DefId)

CoroutineWitness(DefId)

Function(usize)

UnsafeBinder

Placeholder

Error

Trait Implementations

impl EraseType for SimplifiedType

type Result = [u8; 16]

impl Key for SimplifiedType

type Cache<V> = DefaultCache<SimplifiedType<DefId>, V>

The type of in-memory cache to use for queries with this key type.

fn default_span(&self, _: TyCtxt<'_>) -> Span

In the event that a cycle occurs, if no explicit span has been given for a query with key self, what span should we use?

fn key_as_def_id(&self) -> Option<DefId>

If the key is a DefId or DefId–equivalent, return that DefId. Otherwise, return None.

fn def_id_for_ty_in_cycle(&self) -> Option<DefId>

Used to detect when ADT def ids are used as keys in a cycle for better error reporting.

impl ParameterizedOverTcx for SimplifiedType

type Value<'tcx> = SimplifiedType<DefId>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.