src/test/ui/parser/type-alias-where.rs

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