| error: `!` may only modify trait bounds, not lifetime bounds |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:9:14 |
| | |
| LL | pub fn f1<T: !'static>() {} |
| | ^ |
| |
| error: `!` may only modify trait bounds, not lifetime bounds |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:12:24 |
| | |
| LL | pub fn f2<'a, T: Ord + !'a>() {} |
| | ^ |
| |
| error: `!` may only modify trait bounds, not lifetime bounds |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:15:18 |
| | |
| LL | pub fn f3<'a, T: !'a + Ord>() {} |
| | ^ |
| |
| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:9:14 |
| | |
| LL | pub fn f1<T: !'static>() {} |
| | ^ |
| |
| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:12:24 |
| | |
| LL | pub fn f2<'a, T: Ord + !'a>() {} |
| | ^ |
| |
| error: negative bounds are not supported |
| --> $DIR/issue-67146-negative-outlives-bound-syntactic-fail.rs:15:18 |
| | |
| LL | pub fn f3<'a, T: !'a + Ord>() {} |
| | ^ |
| |
| error: aborting due to 6 previous errors |
| |
