## SimplifiedType

# 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.

## 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.