blob: f6e7dfb7b7b2ecd5788cf525625f2b4dc44060b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// check-fail
#![feature(generic_associated_types)]
// Fine, but lints as unused
type Foo where u32: Copy = ();
// Not fine.
type Bar = () where u32: Copy;
//~^ ERROR where clauses are not allowed
type Baz = () where;
//~^ ERROR where clauses are not allowed
fn main() {}
|