Struct rustc_trait_selection::infer::outlives::obligations::TypeOutlives

pub struct TypeOutlives<'cx, 'tcx, D> where
    D: TypeOutlivesDelegate<'tcx>,  {
    delegate: D,
    tcx: TyCtxt<'tcx>,
    verify_bound: VerifyBoundCx<'cx, 'tcx>,
}

The TypeOutlives struct has the job of "lowering" a T: 'a obligation into a series of 'a: 'b constraints and "verify"s, as described on the module comment. The final constraints are emitted via a "delegate" of type D -- this is usually the infcx, which accrues them into the region_obligations code, but for NLL we use something else.

Fields

delegate: D

tcx: TyCtxt<'tcx>

verify_bound: VerifyBoundCx<'cx, 'tcx>

Implementations

impl<'cx, 'tcx, D> TypeOutlives<'cx, 'tcx, D> where
    D: TypeOutlivesDelegate<'tcx>, 

pub fn new(
    delegate: D,
    tcx: TyCtxt<'tcx>,
    region_bound_pairs: &'cx Vec<(&'tcx RegionKind, GenericKind<'tcx>)>,
    implicit_region_bound: Option<&'tcx RegionKind>,
    param_env: ParamEnv<'tcx>
) -> TypeOutlives<'cx, 'tcx, D>

pub fn type_must_outlive(
    &mut self,
    origin: SubregionOrigin<'tcx>,
    ty: &'tcx TyS<'tcx>,
    region: &'tcx RegionKind
)

Adds constraints to inference such that T: 'a holds (or reports an error if it cannot).

Parameters

• origin, the reason we need this constraint
• ty, the type T
• region, the region 'a