| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:7:8 |
| | |
| LL | fn f1<T: !'static>() {} |
| | ^^^^^^^^^^ negative bounds are not supported |
| |
| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:9:18 |
| | |
| LL | fn f2<'a, T: Ord + !'a>() {} |
| | ^^^^^ negative bounds are not supported |
| |
| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:11:12 |
| | |
| LL | fn f3<'a, T: !'a + Ord>() {} |
| | ^^^^^ negative bounds are not supported |
| |
| error: aborting due to 3 previous errors |
| |