Struct rustc_trait_selection::infer::outlives::verify::VerifyBoundCx

pub struct VerifyBoundCx<'cx, 'tcx> {
    pub(in infer::outlives::verify) tcx: TyCtxt<'tcx>,
    pub(in infer::outlives::verify) region_bound_pairs: &'cx Vec<(&'tcx RegionKind, GenericKind<'tcx>)>,
    pub(in infer::outlives::verify) implicit_region_bound: Option<&'tcx RegionKind>,
    pub(in infer::outlives::verify) param_env: ParamEnv<'tcx>,
}

The TypeOutlives struct has the job of "lowering" a T: 'a obligation into a series of 'a: 'b constraints and "verifys", 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

tcx: TyCtxt<'tcx>

region_bound_pairs: &'cx Vec<(&'tcx RegionKind, GenericKind<'tcx>)>

implicit_region_bound: Option<&'tcx RegionKind>

param_env: ParamEnv<'tcx>