Enum TypeError

pub enum TypeError<I>
where
    I: Interner,
{
    Mismatch,
    PolarityMismatch(ExpectedFound<PredicatePolarity>),
    SafetyMismatch(ExpectedFound<<I as Interner>::Safety>),
    AbiMismatch(ExpectedFound<<I as Interner>::Abi>),
    Mutability,
    ArgumentMutability(usize),
    TupleSize(ExpectedFound<usize>),
    ArraySize(ExpectedFound<<I as Interner>::Const>),
    ArgCount,
    RegionsDoesNotOutlive(<I as Interner>::Region, <I as Interner>::Region),
    RegionsInsufficientlyPolymorphic(<I as Interner>::BoundRegion, <I as Interner>::Region),
    RegionsPlaceholderMismatch,
    Sorts(ExpectedFound<<I as Interner>::Ty>),
    ArgumentSorts(ExpectedFound<<I as Interner>::Ty>, usize),
    Traits(ExpectedFound<<I as Interner>::DefId>),
    VariadicMismatch(ExpectedFound<bool>),
    CyclicTy(<I as Interner>::Ty),
    CyclicConst(<I as Interner>::Const),
    ProjectionMismatched(ExpectedFound<<I as Interner>::DefId>),
    ExistentialMismatch(ExpectedFound<<I as Interner>::BoundExistentialPredicates>),
    ConstMismatch(ExpectedFound<<I as Interner>::Const>),
    IntrinsicCast,
    TargetFeatureCast(<I as Interner>::DefId),
}

Variants

Mismatch

PolarityMismatch(ExpectedFound<PredicatePolarity>)

SafetyMismatch(ExpectedFound<<I as Interner>::Safety>)

AbiMismatch(ExpectedFound<<I as Interner>::Abi>)

Mutability

ArgumentMutability(usize)

TupleSize(ExpectedFound<usize>)

ArraySize(ExpectedFound<<I as Interner>::Const>)

ArgCount

RegionsDoesNotOutlive(<I as Interner>::Region, <I as Interner>::Region)

RegionsInsufficientlyPolymorphic(<I as Interner>::BoundRegion, <I as Interner>::Region)

RegionsPlaceholderMismatch

Sorts(ExpectedFound<<I as Interner>::Ty>)

ArgumentSorts(ExpectedFound<<I as Interner>::Ty>, usize)

Traits(ExpectedFound<<I as Interner>::DefId>)

VariadicMismatch(ExpectedFound<bool>)

CyclicTy(<I as Interner>::Ty)

Instantiating a type variable with the given type would have created a cycle (because it appears somewhere within that type).

CyclicConst(<I as Interner>::Const)

ProjectionMismatched(ExpectedFound<<I as Interner>::DefId>)

ExistentialMismatch(ExpectedFound<<I as Interner>::BoundExistentialPredicates>)

ConstMismatch(ExpectedFound<<I as Interner>::Const>)

IntrinsicCast

TargetFeatureCast(<I as Interner>::DefId)

Safe #[target_feature] functions are not assignable to safe function pointers.

Implementations

impl<I> TypeError<I>

where I: Interner,

pub fn involves_regions(self) -> bool

pub fn must_include_note(self) -> bool

Trait Implementations

impl<I> Clone for TypeError<I>

where I: Interner,

fn clone(&self) -> TypeError<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I> Debug for TypeError<I>

where I: Interner,

fn fmt(&self, __f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<I> From<TypeError<I>> for NoSolution

where I: Interner,

fn from(_: TypeError<I>) -> NoSolution

Converts to this type from the input type.

impl<I> PartialEq for TypeError<I>

where I: Interner,

fn eq(&self, __other: &TypeError<I>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> TypeErrorToStringExt<'tcx> for TypeError<TyCtxt<'tcx>>

fn to_string(self, tcx: TyCtxt<'tcx>) -> Cow<'static, str>

impl<I> TypeVisitable<I> for TypeError<I>

where I: Interner, ExpectedFound<<I as Interner>::Const>: TypeVisitable<I>, <I as Interner>::Region: TypeVisitable<I>, <I as Interner>::BoundRegion: TypeVisitable<I>, ExpectedFound<<I as Interner>::Ty>: TypeVisitable<I>, ExpectedFound<<I as Interner>::DefId>: TypeVisitable<I>, <I as Interner>::Ty: TypeVisitable<I>, <I as Interner>::Const: TypeVisitable<I>, ExpectedFound<<I as Interner>::BoundExistentialPredicates>: TypeVisitable<I>, <I as Interner>::DefId: TypeVisitable<I>,

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<I>>::Result

where __V: TypeVisitor<I>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<I> Copy for TypeError<I>

where I: Interner,

impl<I> Eq for TypeError<I>

where I: Interner,

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.