Enum rustc_trait_selection::infer::SubregionOrigin

pub enum SubregionOrigin<'tcx> {
    Subtype(Box<TypeTrace<'tcx>, Global>),
    RelateObjectBound(Span),
    RelateParamBound(Span, &'tcx TyS<'tcx>),
    RelateRegionParamBound(Span),
    Reborrow(Span),
    ReborrowUpvar(Span, UpvarId),
    DataBorrowed(&'tcx TyS<'tcx>, Span),
    ReferenceOutlivesReferent(&'tcx TyS<'tcx>, Span),
    CallReturn(Span),
    CompareImplMethodObligation {
        span: Span,
        item_name: Symbol,
        impl_item_def_id: DefId,
        trait_item_def_id: DefId,
    },
}

The origin of a r1 <= r2 constraint.

See error_reporting module for more details

Variants

Subtype(Box<TypeTrace<'tcx>, Global>)

Arose from a subtyping relation

RelateObjectBound(Span)

When casting &'a T to an &'b Trait object, relating 'a to 'b

RelateParamBound(Span, &'tcx TyS<'tcx>)

Some type parameter was instantiated with the given type, and that type must outlive some region.

RelateRegionParamBound(Span)

The given region parameter was instantiated with a region that must outlive some other region.

Reborrow(Span)

Creating a pointer b to contents of another reference

ReborrowUpvar(Span, UpvarId)

Creating a pointer b to contents of an upvar

DataBorrowed(&'tcx TyS<'tcx>, Span)

Data with type Ty<'tcx> was borrowed

ReferenceOutlivesReferent(&'tcx TyS<'tcx>, Span)

(&'a &'b T) where a >= b

CallReturn(Span)

Region in return type of invoked fn must enclose call

CompareImplMethodObligation

Comparing the signature and requirements of an impl method against the containing trait.

Fields of CompareImplMethodObligation

span: Spanitem_name: Symbolimpl_item_def_id: DefIdtrait_item_def_id: DefId