src/test/ui/parser/impl-item-type-no-body-semantic-fail.rs

   1 #![feature(generic_associated_types)]
   2
   3 fn main() {}
   4
   5 struct X;
   6
   7 impl X {
   8     type Y;
   9     //~^ ERROR associated type in `impl` without body
  10     //~| ERROR inherent associated types are unstable
  11     type Z: Ord;
  12     //~^ ERROR associated type in `impl` without body
  13     //~| ERROR bounds on `type`s in `impl`s have no effect
  14     //~| ERROR inherent associated types are unstable
  15     type W: Ord where Self: Eq;
  16     //~^ ERROR associated type in `impl` without body
  17     //~| ERROR bounds on `type`s in `impl`s have no effect
  18     //~| ERROR inherent associated types are unstable
  19     type W where Self: Eq;
  20     //~^ ERROR associated type in `impl` without body
  21     //~| ERROR inherent associated types are unstable
  22 }