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

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes