tests/ui/parser/type-alias-where.rs

   1 // check-fail
   2
   3 // Fine, but lints as unused
   4 type Foo where u32: Copy = ();
   5 // Not fine.
   6 type Bar = () where u32: Copy;
   7 //~^ ERROR where clauses are not allowed
   8 type Baz = () where;
   9 //~^ ERROR where clauses are not allowed
  10
  11 fn main() {}