diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-47206-where-clause.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-47206-where-clause.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/issue-47206-where-clause.rs b/src/test/ui/generic-associated-types/issue-47206-where-clause.rs new file mode 100644 index 000000000..d352c1948 --- /dev/null +++ b/src/test/ui/generic-associated-types/issue-47206-where-clause.rs @@ -0,0 +1,16 @@ +// Check that this program doesn't cause the compiler to error without output. + +#![feature(generic_associated_types)] + +trait Foo { + type Assoc3<T>; +} + +struct Bar; + +impl Foo for Bar { + type Assoc3<T> = Vec<T> where T: Iterator; + //~^ ERROR impl has stricter requirements than trait +} + +fn main() {} |