src/librustc/infer/outlives/mod.rs

//! Various code related to computing outlives relations.

pub mod env;
pub mod obligations;
pub mod verify;