SimplifiedType

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

§

Trait(SolverDefId)

§

Closure(SolverDefId)

§

Coroutine(SolverDefId)

§

CoroutineWitness(SolverDefId)

§

Function(usize)

§

UnsafeBinder

§

Placeholder

§

Error