summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/associated-types-issue-17359.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/associated-types-issue-17359.rs')
-rw-r--r--src/test/ui/associated-types/associated-types-issue-17359.rs10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-issue-17359.rs b/src/test/ui/associated-types/associated-types-issue-17359.rs
new file mode 100644
index 000000000..88a8a6490
--- /dev/null
+++ b/src/test/ui/associated-types/associated-types-issue-17359.rs
@@ -0,0 +1,10 @@
+// Test that we do not ICE when an impl is missing an associated type (and that we report
+// a useful error, of course).
+
+trait Trait {
+ type Type;
+}
+
+impl Trait for isize {} //~ ERROR missing: `Type`
+
+fn main() {}