tests/ui/traits/next-solver/unsound-region-obligation.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ compile-flags: -Znext-solver
// Regression test for rust-lang/trait-system-refactor-initiative#59

trait StaticTy {
    type Item<'a>: 'static;
}

impl StaticTy for () {
    type Item<'a> = &'a ();
    //~^ ERROR the type `&'a ()` does not fulfill the required lifetime
}

fn main() {}