1 #![feature(extern_types)]
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
15 //~^ ERROR incorrect `type` inside `extern` block