pub type SimplifiedType = SimplifiedType<DefId>;
Aliased Type§
enum SimplifiedType {
Show 22 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),
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)
Placeholder
Error
Trait Implementations§
Source§impl Key for SimplifiedType
impl Key for SimplifiedType
type Cache<V> = DefaultCache<SimplifiedType<DefId>, V>
Source§fn default_span(&self, _: TyCtxt<'_>) -> Span
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>
fn key_as_def_id(&self) -> Option<DefId>
fn ty_def_id(&self) -> Option<DefId>
Source§impl ParameterizedOverTcx for SimplifiedType
impl ParameterizedOverTcx for SimplifiedType
type Value<'tcx> = SimplifiedType<DefId>
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: 16 bytes
Size for each variant:
Bool
: 0 bytesChar
: 0 bytesInt
: 1 byteUint
: 1 byteFloat
: 1 byteAdt
: 11 bytesForeign
: 11 bytesStr
: 0 bytesArray
: 0 bytesSlice
: 0 bytesRef
: 1 bytePtr
: 1 byteNever
: 0 bytesTuple
: 15 bytesMarkerTraitObject
: 0 bytesTrait
: 11 bytesClosure
: 11 bytesCoroutine
: 11 bytesCoroutineWitness
: 11 bytesFunction
: 15 bytesPlaceholder
: 0 bytesError
: 0 bytes