tests/ui/where-clauses/where-clause-placement-type-alias.rs


1
2
3
4
5
6
7
8
9
10
11

//@ check-fail

// Fine, but lints as unused
type Foo where u32: Copy = ();
// Not fine.
type Bar = () where u32: Copy;
//~^ ERROR where clauses are not allowed
type Baz = () where;
//~^ ERROR where clauses are not allowed

fn main() {}