diff options
author | Martin Fischer <martin@push-f.com> | 2021-11-24 17:57:31 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2021-11-24 17:57:32 +0100 |
commit | 8179dfab311b5e9555e34e6f42e58b1d3a3a4e08 (patch) | |
tree | c924bd0035b5b4c1cb2cba9c08376706e33db877 /ui-tests/src | |
parent | 010d91946605b03db5975fa39c5c9b46ef4c985a (diff) |
better error for associated types in supertraits
Diffstat (limited to 'ui-tests/src')
-rw-r--r-- | ui-tests/src/bin/supertrait.rs | 6 | ||||
-rw-r--r-- | ui-tests/src/bin/supertrait.stderr | 5 |
2 files changed, 11 insertions, 0 deletions
diff --git a/ui-tests/src/bin/supertrait.rs b/ui-tests/src/bin/supertrait.rs new file mode 100644 index 0000000..1dc4127 --- /dev/null +++ b/ui-tests/src/bin/supertrait.rs @@ -0,0 +1,6 @@ +#[dynamize::dynamize] +trait Foo: Into<Self::X> { + type X; +} + +fn main() {} diff --git a/ui-tests/src/bin/supertrait.stderr b/ui-tests/src/bin/supertrait.stderr new file mode 100644 index 0000000..ebb1561 --- /dev/null +++ b/ui-tests/src/bin/supertrait.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support associated types in supertraits + --> src/bin/supertrait.rs:2:17 + | +2 | trait Foo: Into<Self::X> { + | ^^^^ |