diff options
| -rw-r--r-- | ui-tests/src/bin/qualified_assoc_type.rs | 12 | ||||
| -rw-r--r-- | ui-tests/src/bin/qualified_assoc_type.stderr | 5 |
2 files changed, 17 insertions, 0 deletions
diff --git a/ui-tests/src/bin/qualified_assoc_type.rs b/ui-tests/src/bin/qualified_assoc_type.rs new file mode 100644 index 0000000..24a4791 --- /dev/null +++ b/ui-tests/src/bin/qualified_assoc_type.rs @@ -0,0 +1,12 @@ +trait Foo { + type B; +} + +#[dynamize::dynamize] +trait Bar { + type A: Foo; + + fn test(&self) -> <Self::A as Foo>::B; +} + +fn main() {} diff --git a/ui-tests/src/bin/qualified_assoc_type.stderr b/ui-tests/src/bin/qualified_assoc_type.stderr new file mode 100644 index 0000000..4f69ece --- /dev/null +++ b/ui-tests/src/bin/qualified_assoc_type.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support associated types of a qualified Self + --> src/bin/qualified_assoc_type.rs:9:24 + | +9 | fn test(&self) -> <Self::A as Foo>::B; + | ^^^^ |