Type Alias TypeError

pub type TypeError<'db> = TypeError<DbInterner<'db>>;

Aliased Type§

pub enum TypeError<'db> {
Show 24 variants    Mismatch,
    PolarityMismatch(ExpectedFound<PredicatePolarity>),
    SafetyMismatch(ExpectedFound<Safety>),
    AbiMismatch(ExpectedFound<FnAbi>),
    Mutability,
    ArgumentMutability(usize),
    TupleSize(ExpectedFound<usize>),
    ArraySize(ExpectedFound<Const<'db>>),
    ArgCount,
    RegionsDoesNotOutlive(Region<'db>, Region<'db>),
    RegionsInsufficientlyPolymorphic(BoundRegion, Region<'db>),
    RegionsPlaceholderMismatch,
    Sorts(ExpectedFound<Ty<'db>>),
    ArgumentSorts(ExpectedFound<Ty<'db>>, usize),
    Traits(ExpectedFound<TraitIdWrapper>),
    VariadicMismatch(ExpectedFound<bool>),
    CyclicTy(Ty<'db>),
    CyclicConst(Const<'db>),
    ProjectionMismatched(ExpectedFound<SolverDefId>),
    ExistentialMismatch(ExpectedFound<BoundExistentialPredicates<'db>>),
    ConstMismatch(ExpectedFound<Const<'db>>),
    IntrinsicCast,
    ForceInlineCast,
    TargetFeatureCast(SolverDefId),
}