rustc_traits/
implied_outlives_bounds.rs