Enum rustc_infer::infer::lexical_region_resolve::RegionResolutionError

pub enum RegionResolutionError<'tcx> {
    ConcreteFailure(SubregionOrigin<'tcx>, Region<'tcx>, Region<'tcx>),
    GenericBoundFailure(SubregionOrigin<'tcx>, GenericKind<'tcx>, Region<'tcx>),
    SubSupConflict(RegionVid, RegionVariableOrigin, SubregionOrigin<'tcx>, Region<'tcx>, SubregionOrigin<'tcx>, Region<'tcx>),
    UpperBoundUniverseConflict(RegionVid, RegionVariableOrigin, UniverseIndex, SubregionOrigin<'tcx>, Region<'tcx>),
    MemberConstraintFailure {
        span: Span,
        hidden_ty: Ty<'tcx>,
        member_region: Region<'tcx>,
    },
}

Variants

ConcreteFailure(SubregionOrigin<'tcx>, Region<'tcx>, Region<'tcx>)

ConcreteFailure(o, a, b):

o requires that a <= b, but this does not hold

GenericBoundFailure(SubregionOrigin<'tcx>, GenericKind<'tcx>, Region<'tcx>)

`GenericBoundFailure(p, s, a)

The parameter/associated-type p must be known to outlive the lifetime a (but none of the known bounds are sufficient).

SubSupConflict(RegionVid, RegionVariableOrigin, SubregionOrigin<'tcx>, Region<'tcx>, SubregionOrigin<'tcx>, Region<'tcx>)

SubSupConflict(v, v_origin, sub_origin, sub_r, sup_origin, sup_r):

Could not infer a value for v (which has origin v_origin) because sub_r <= v (due to sub_origin) but v <= sup_r (due to sup_origin) and sub_r <= sup_r does not hold.

UpperBoundUniverseConflict(RegionVid, RegionVariableOrigin, UniverseIndex, SubregionOrigin<'tcx>, Region<'tcx>)

Indicates a 'b: 'a constraint where 'a is in a universe that cannot name the placeholder 'b.

MemberConstraintFailure

Indicates a failure of a MemberConstraint. These arise during impl trait processing explicitly – basically, the impl trait’s hidden type included some region that it was not supposed to.

Fields of MemberConstraintFailure

span: Spanhidden_ty: Ty<'tcx>member_region: Region<'tcx>

Trait Implementations

impl<'tcx> Clone for RegionResolutionError<'tcx>

fn clone(&self) -> RegionResolutionError<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for RegionResolutionError<'tcx>

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

Formats the value using the given formatter.