summaryrefslogtreecommitdiffstats
path: root/tests/ui/parser/issues/issue-67146-negative-outlives-bound-syntactic-fail.rs
blob: 82f54f8faa98cd615bfe34a30ab2b6ce4016f167 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// run-rustfix

// In this regression test for #67146, we check that the
// negative outlives bound `!'a` is rejected by the parser.
// This regression was first introduced in PR #57364.

fn main() {}

pub fn f1<T: !'static>() {}
//~^ ERROR negative bounds are not supported
pub fn f2<'a, T: Ord + !'a>() {}
//~^ ERROR negative bounds are not supported
pub fn f3<'a, T: !'a + Ord>() {}
//~^ ERROR negative bounds are not supported