Type Alias SimplifiedType
pub type SimplifiedType = SimplifiedType<SolverDefId>;Aliased Type§
pub enum SimplifiedType {
Show 23 variants
Bool,
Char,
Int(IntTy),
Uint(UintTy),
Float(FloatTy),
Adt(SolverDefId),
Foreign(SolverDefId),
Str,
Array,
Slice,
Ref(Mutability),
Ptr(Mutability),
Never,
Tuple(usize),
MarkerTraitObject,
Trait(SolverDefId),
Closure(SolverDefId),
Coroutine(SolverDefId),
CoroutineWitness(SolverDefId),
Function(usize),
UnsafeBinder,
Placeholder,
Error,
}Variants§
Bool
Char
Int(IntTy)
Uint(UintTy)
Float(FloatTy)
Adt(SolverDefId)
Foreign(SolverDefId)
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).