1 error: negative bounds are not supported
2 --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:9:12
4 LL | pub fn f1<T: !'static>() {}
5 | ^^^^^^^^^^ negative bounds are not supported
7 error: negative bounds are not supported
8 --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:11:22
10 LL | pub fn f2<'a, T: Ord + !'a>() {}
11 | ^^^^^ negative bounds are not supported
13 error: negative bounds are not supported
14 --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:13:16
16 LL | pub fn f3<'a, T: !'a + Ord>() {}
17 | ^^^^^ negative bounds are not supported
19 error: aborting due to 3 previous errors