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