Module rustc_infer::infer::outlives::verify
source · Structs§
- The
TypeOutlives
struct has the job of “lowering” aT: '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 typeD
– this is usually theinfcx
, which accrues them into theregion_obligations
code, but for NLL we use something else.