diff options
Diffstat (limited to 'src/test/ui/parser/type-alias-where.rs')
| -rw-r--r-- | src/test/ui/parser/type-alias-where.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/parser/type-alias-where.rs b/src/test/ui/parser/type-alias-where.rs new file mode 100644 index 000000000..f6e7dfb7b --- /dev/null +++ b/src/test/ui/parser/type-alias-where.rs @@ -0,0 +1,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() {} |