Type Alias SimplifiedType

Source

pub type SimplifiedType<'db> = SimplifiedType<SolverDefId<'db>>;

Aliased Type§

pub enum SimplifiedType<'db> {
Show 23 variants    Bool,
    Char,
    Int(IntTy),
    Uint(UintTy),
    Float(FloatTy),
    Adt(SolverDefId<'db>),
    Foreign(SolverDefId<'db>),
    Str,
    Array,
    Slice,
    Ref(Mutability),
    Ptr(Mutability),
    Never,
    Tuple(usize),
    MarkerTraitObject,
    Trait(SolverDefId<'db>),
    Closure(SolverDefId<'db>),
    Coroutine(SolverDefId<'db>),
    CoroutineWitness(SolverDefId<'db>),
    Function(usize),
    UnsafeBinder,
    Placeholder,
    Error,
}