Rollup merge of #69311 - GuillaumeGomez:clean-up-e0321-e0322, r=Dylan-DPC

[rust.git] / src / librustc_infer / infer / outlives / mod.rs

//! Various code related to computing outlives relations.

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