about summary refs log tree commit diff
path: root/tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs')
-rw-r--r--tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs b/tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs
index 4da9ad84bab..d9d3f9227a9 100644
--- a/tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs
+++ b/tests/ui/parser/variadic-ffi-nested-syntactic-fail.rs
@@ -4,6 +4,10 @@ fn f1<'a>(x: u8, y: &'a ...) {}
 fn f2<'a>(x: u8, y: Vec<&'a ...>) {}
 //~^ ERROR C-variadic type `...` may not be nested inside another type
 
+// Regression test for issue #125847.
+fn f3() where for<> ...: {}
+//~^ ERROR C-variadic type `...` may not be nested inside another type
+
 fn main() {
     let _recovery_witness: () = 0;
     //~^ ERROR: mismatched types