diff options
Diffstat (limited to 'src/test/ui/unboxed-closures/unboxed-closure-no-cyclic-sig.rs')
| -rw-r--r-- | src/test/ui/unboxed-closures/unboxed-closure-no-cyclic-sig.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/unboxed-closures/unboxed-closure-no-cyclic-sig.rs b/src/test/ui/unboxed-closures/unboxed-closure-no-cyclic-sig.rs new file mode 100644 index 000000000..9d0aa4132 --- /dev/null +++ b/src/test/ui/unboxed-closures/unboxed-closure-no-cyclic-sig.rs @@ -0,0 +1,9 @@ +// Test that unboxed closures cannot capture their own type. +// +// Also regression test for issue #21410. + +fn g<F>(_: F) where F: FnOnce(Option<F>) {} + +fn main() { + g(|_| { }); //~ ERROR closure/generator type that references itself +} |