From ffefb13443e5906714d82257c582dd69b385eeea Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Tue, 11 Feb 2025 20:57:02 +0000 Subject: Always perform discr read for never pattern in EUV --- .../always-read-in-closure-capture.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/ui/rfcs/rfc-0000-never_patterns/always-read-in-closure-capture.rs (limited to 'tests/ui/rfcs') diff --git a/tests/ui/rfcs/rfc-0000-never_patterns/always-read-in-closure-capture.rs b/tests/ui/rfcs/rfc-0000-never_patterns/always-read-in-closure-capture.rs new file mode 100644 index 00000000000..3c4cd57ec24 --- /dev/null +++ b/tests/ui/rfcs/rfc-0000-never_patterns/always-read-in-closure-capture.rs @@ -0,0 +1,16 @@ +//@ check-pass + +// Make sure that the closure captures `s` so it can perform a read of `s`. + +#![feature(never_patterns)] +#![allow(incomplete_features)] + +enum Void {} + +fn by_value(s: Void) { + move || { + let ! = s; + }; +} + +fn main() {} -- cgit 1.4.1-3-g733a5