Type Alias SimplifiedType

Source
pub type SimplifiedType = SimplifiedType<DefId>;

Aliased Type§

pub enum SimplifiedType {
Show 23 variants 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§

Source§

impl EraseType for SimplifiedType

Source§

type Result = [u8; 16]

Source§

impl Key for SimplifiedType

Source§

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

The type of in-memory cache to use for queries with this key type. Read more
Source§

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?
Source§

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

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

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.
Source§

impl ParameterizedOverTcx for SimplifiedType

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.