1 files changed, 21 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-51714.rs b/tests/ui/issues/issue-51714.rs
new file mode 100644
index 00000000000..8716524d6f4
--- /dev/null
+++ b/tests/ui/issues/issue-51714.rs
@@ -0,0 +1,21 @@
+fn main() {
+//~^ NOTE: not the enclosing function body
+//~| NOTE: not the enclosing function body
+//~| NOTE: not the enclosing function body
+//~| NOTE: not the enclosing function body
+    |_:  [_; return || {}] | {};
+    //~^ ERROR: return statement outside of function body [E0572]
+    //~| NOTE: the return is part of this body...
+
+    [(); return || {}];
+    //~^ ERROR: return statement outside of function body [E0572]
+    //~| NOTE: the return is part of this body...
+
+    [(); return |ice| {}];
+    //~^ ERROR: return statement outside of function body [E0572]
+    //~| NOTE: the return is part of this body...
+
+    [(); return while let Some(n) = Some(0) {}];
+    //~^ ERROR: return statement outside of function body [E0572]
+    //~| NOTE: the return is part of this body...
+}