diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-19482.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-19482.rs b/src/test/ui/issues/issue-19482.rs new file mode 100644 index 000000000..3f3c5de9b --- /dev/null +++ b/src/test/ui/issues/issue-19482.rs @@ -0,0 +1,13 @@ +// Test that a partially specified trait object with unspecified associated +// type does not type-check. + +trait Foo { + type A; + + fn dummy(&self) { } +} + +fn bar(x: &dyn Foo) {} +//~^ ERROR the associated type `A` (from trait `Foo`) must be specified + +pub fn main() {} |