1 error: bounds on `type`s in `extern` blocks have no effect
2 --> $DIR/foreign-ty-semantic-fail.rs:6:13
7 error: `type`s inside `extern` blocks cannot have generic parameters
8 --> $DIR/foreign-ty-semantic-fail.rs:8:11
11 | ---------- `extern` block begins here
13 LL | type B<'a> where 'a: 'static;
14 | ^^^^ help: remove the generic parameters
16 = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
18 error: `type`s inside `extern` blocks cannot have `where` clauses
19 --> $DIR/foreign-ty-semantic-fail.rs:8:16
22 | ---------- `extern` block begins here
24 LL | type B<'a> where 'a: 'static;
25 | ^^^^^^^^^^^^^^^^^ help: remove the `where` clause
27 = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
29 error: `type`s inside `extern` blocks cannot have generic parameters
30 --> $DIR/foreign-ty-semantic-fail.rs:11:11
33 | ---------- `extern` block begins here
35 LL | type C<T: Ord> where T: 'static;
36 | ^^^^^^^^ help: remove the generic parameters
38 = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
40 error: `type`s inside `extern` blocks cannot have `where` clauses
41 --> $DIR/foreign-ty-semantic-fail.rs:11:20
44 | ---------- `extern` block begins here
46 LL | type C<T: Ord> where T: 'static;
47 | ^^^^^^^^^^^^^^^^ help: remove the `where` clause
49 = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
51 error: incorrect `type` inside `extern` block
52 --> $DIR/foreign-ty-semantic-fail.rs:14:10
55 | ---------- `extern` blocks define existing foreign types and types inside of them cannot have a body
58 | ^ -- the invalid body
62 = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
64 error: aborting due to 6 previous errors