Module outlives 

Various code related to computing outlives relations.

Re-exports

use std::iter; 🔒

use rustc_data_structures::undo_log::UndoLogs; 🔒

use rustc_middle::traits::query::OutlivesBound; 🔒

use rustc_middle::ty; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use self::env::OutlivesEnvironment; 🔒

use super::region_constraints::RegionConstraintData; 🔒

use super::region_constraints::UndoLog; 🔒

use super::InferCtxt; 🔒

use super::RegionResolutionError; 🔒

use crate::infer::free_regions::RegionRelations; 🔒

use crate::infer::lexical_region_resolve; 🔒

use crate::infer::region_constraints::ConstraintKind; 🔒

Modules

env

obligations

Code that handles “type-outlives” constraints like T: 'a. This is based on the push_outlives_components function defined in rustc_infer, but it adds a bit of heuristics on top, in particular to deal with associated types and projections.

test_type_match

verify 🔒

Functions

explicit_outlives_bounds