Struct rustc_trait_selection::infer::outlives::obligations::TypeOutlives [−][src]
pub struct TypeOutlives<'cx, 'tcx, D> where
D: TypeOutlivesDelegate<'tcx>, {
delegate: D,
tcx: TyCtxt,
verify_bound: VerifyBoundCx,
}Expand description
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: Dtcx: TyCtxtverify_bound: VerifyBoundCxAuto Trait Implementations
impl<'cx, 'tcx, D> !RefUnwindSafe for TypeOutlives<D>
impl<'cx, 'tcx, D> !Send for TypeOutlives<D>
impl<'cx, 'tcx, D> !Sync for TypeOutlives<D>
impl<'cx, 'tcx, D> Unpin for TypeOutlives<D> where
D: Unpin,
'tcx: 'cx,
impl<'cx, 'tcx, D> !UnwindSafe for TypeOutlives<D>
Blanket Implementations
Layout
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.