Enum rustc_trait_selection::infer::SubregionOrigin

pub enum SubregionOrigin<'tcx> {
    Subtype(Box<TypeTrace<'tcx>, Global>),
    RelateObjectBound(Span),
    RelateParamBound(Span, &'tcx TyS<'tcx>, Option<Span>),
    RelateRegionParamBound(Span),
    Reborrow(Span),
    ReborrowUpvar(Span, UpvarId),
    DataBorrowed(&'tcx TyS<'tcx>, Span),
    ReferenceOutlivesReferent(&'tcx TyS<'tcx>, Span),
    CompareImplMethodObligation {
        span: Span,
        impl_item_def_id: DefId,
        trait_item_def_id: DefId,
    },
    CompareImplTypeObligation {
        span: Span,
        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>)

Tuple Fields

0: Box<TypeTrace<'tcx>, Global>

Arose from a subtyping relation

RelateObjectBound(Span)

Tuple Fields

0: Span

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

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

Tuple Fields

0: Span

1: &'tcx TyS<'tcx>

2: Option<Span>

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

RelateRegionParamBound(Span)

Tuple Fields

0: Span

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

Reborrow(Span)

Tuple Fields

0: Span

Creating a pointer b to contents of another reference

ReborrowUpvar(Span, UpvarId)

Tuple Fields

0: Span

1: UpvarId

Creating a pointer b to contents of an upvar

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

Tuple Fields

0: &'tcx TyS<'tcx>

1: Span

Data with type Ty<'tcx> was borrowed

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

Tuple Fields

0: &'tcx TyS<'tcx>

1: Span

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

CompareImplMethodObligation

Fields

span: Span

impl_item_def_id: DefId

trait_item_def_id: DefId

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

CompareImplTypeObligation

Fields

span: Span

impl_item_def_id: DefId

trait_item_def_id: DefId

Comparing the signature and requirements of an impl associated type against the containing trait

Layout

Note: Most layout information is completely unstable and may even differ between compilations. 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

Size for each variant:

• Subtype: 12 bytes
• RelateObjectBound: 8 bytes
• RelateParamBound: 28 bytes
• RelateRegionParamBound: 8 bytes
• Reborrow: 8 bytes
• ReborrowUpvar: 20 bytes
• DataBorrowed: 20 bytes
• ReferenceOutlivesReferent: 20 bytes
• CompareImplMethodObligation: 24 bytes
• CompareImplTypeObligation: 24 bytes