Module verify 

Re-exports

use std::assert_matches; 🔒

use rustc_middle::ty::outlives::Component; 🔒

use rustc_middle::ty::outlives::compute_alias_components_recursive; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::OutlivesClause; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use smallvec::smallvec; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::infer::outlives::env::RegionBoundPairs; 🔒

use crate::infer::region_constraints::VerifyIfEq; 🔒

use crate::infer::GenericKind; 🔒

use crate::infer::VerifyBound; 🔒

Structs

VerifyBoundCx 🔒

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.