diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs b/src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs new file mode 100644 index 000000000..48de59334 --- /dev/null +++ b/src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs @@ -0,0 +1,10 @@ +trait Foo { + type Item; +} +trait Bar<T> { + type Item; +} +trait Baz: Foo + Bar<Self::Item> {} +//~^ ERROR cycle detected when computing the super traits of `Baz` with associated type name `Item` [E0391] + +fn main() {} |