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 Key for SimplifiedType
impl Key for SimplifiedType
Source§type Cache<V> = DefaultCache<SimplifiedType<DefId>, V>
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
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>
Source§fn def_id_for_ty_in_cycle(&self) -> Option<DefId>
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
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.