summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generics/generic-type-params-forward-mention.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generics/generic-type-params-forward-mention.rs')
-rw-r--r--src/test/ui/generics/generic-type-params-forward-mention.rs6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/ui/generics/generic-type-params-forward-mention.rs b/src/test/ui/generics/generic-type-params-forward-mention.rs
new file mode 100644
index 000000000..000c47095
--- /dev/null
+++ b/src/test/ui/generics/generic-type-params-forward-mention.rs
@@ -0,0 +1,6 @@
+// Ensure that we get an error and not an ICE for this problematic case.
+struct Foo<T = Option<U>, U = bool>(T, U);
+//~^ ERROR generic parameters with a default cannot use forward declared identifiers
+fn main() {
+ let x: Foo;
+}