src/test/ui/parser/foreign-ty-semantic-fail.rs

   1 #![feature(extern_types)]
   2
   3 fn main() {}
   4
   5 extern "C" {
   6     type A: Ord;
   7     //~^ ERROR bounds on `type`s in `extern` blocks have no effect
   8     type B<'a> where 'a: 'static;
   9     //~^ ERROR `type`s inside `extern` blocks cannot have generic parameters
  10     //~| ERROR `type`s inside `extern` blocks cannot have `where` clauses
  11     type C<T: Ord> where T: 'static;
  12     //~^ ERROR `type`s inside `extern` blocks cannot have generic parameters
  13     //~| ERROR `type`s inside `extern` blocks cannot have `where` clauses
  14     type D = u8;
  15     //~^ ERROR incorrect `type` inside `extern` block
  16
  17     type E: where;
  18 }