1 files changed, 17 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-27042.rs b/tests/ui/issues/issue-27042.rs
new file mode 100644
index 00000000000..517c1f2e6c7
--- /dev/null
+++ b/tests/ui/issues/issue-27042.rs
@@ -0,0 +1,17 @@
+// Regression test for #27042. Test that a loop's label is included in its span.
+
+fn main() {
+    let _: i32 =
+        'a: // in this case, the citation is just the `break`:
+        loop { break }; //~ ERROR mismatched types
+    let _: i32 =
+        'b: //~ ERROR mismatched types
+        //~^ WARN denote infinite loops with
+        while true { break }; // but here we cite the whole loop
+    let _: i32 =
+        'c: //~ ERROR mismatched types
+        for _ in None { break }; // but here we cite the whole loop
+    let _: i32 =
+        'd: //~ ERROR mismatched types
+        while let Some(_) = None { break };
+}