3 // In this regression test for #67146, we check that the
4 // negative outlives bound `!'a` is rejected by the parser.
5 // This regression was first introduced in PR #57364.
9 pub fn f1<T: !'static>() {}
10 //~^ ERROR negative bounds are not supported
11 pub fn f2<'a, T: Ord + !'a>() {}
12 //~^ ERROR negative bounds are not supported
13 pub fn f3<'a, T: !'a + Ord>() {}
14 //~^ ERROR negative bounds are not supported