1 files changed, 21 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-51714.rs b/src/test/ui/issues/issue-51714.rs
new file mode 100644
index 000000000..8716524d6
--- /dev/null
+++ b/src/test/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...
+}