Enum rustc::middle::infer::TypeOriginExperimental

pub enum TypeOrigin {
    Misc(Span),
    MethodCompatCheck(Span),
    ExprAssignable(Span),
    RelateTraitRefs(Span),
    RelateSelfType(Span),
    RelateOutputImplTypes(Span),
    MatchExpressionArm(Span, Span),
    IfExpression(Span),
    IfExpressionWithNoElse(Span),
    RangeExpression(Span),
    EquatePredicate(Span),
}

Why did we require that the two types be related?

See error_reporting.rs for more details

Variants

Misc
MethodCompatCheck
ExprAssignable
RelateTraitRefs
RelateSelfType
RelateOutputImplTypes
MatchExpressionArm
IfExpression
IfExpressionWithNoElse
RangeExpression
EquatePredicate

Methods

impl TypeOrigin

fn span(&self) -> Span

Trait Implementations

impl<'tcx> Repr<'tcx> for TypeOrigin

fn repr(&self, tcx: &ctxt) -> String

Derived Implementations

impl Show for TypeOrigin

fn fmt(&self, __arg_0: &mut Formatter) -> Result

impl Copy for TypeOrigin

impl Clone for TypeOrigin

fn clone(&self) -> TypeOrigin

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