summaryrefslogtreecommitdiffstats
path: root/src/tools/clippy/tests/ui/never_loop.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-30 03:57:31 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-30 03:57:31 +0000
commitdc0db358abe19481e475e10c32149b53370f1a1c (patch)
treeab8ce99c4b255ce46f99ef402c27916055b899ee /src/tools/clippy/tests/ui/never_loop.rs
parentReleasing progress-linux version 1.71.1+dfsg1-2~progress7.99u1. (diff)
downloadrustc-dc0db358abe19481e475e10c32149b53370f1a1c.tar.xz
rustc-dc0db358abe19481e475e10c32149b53370f1a1c.zip
Merging upstream version 1.72.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/tools/clippy/tests/ui/never_loop.rs')
-rw-r--r--src/tools/clippy/tests/ui/never_loop.rs38
1 files changed, 38 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/never_loop.rs b/src/tools/clippy/tests/ui/never_loop.rs
index 29821ff96..eb179f30e 100644
--- a/src/tools/clippy/tests/ui/never_loop.rs
+++ b/src/tools/clippy/tests/ui/never_loop.rs
@@ -1,4 +1,6 @@
+#![feature(inline_const)]
#![allow(
+ clippy::eq_op,
clippy::single_match,
unused_assignments,
unused_variables,
@@ -295,6 +297,42 @@ pub fn test24() {
}
}
+// Do not lint, we can evaluate `true` to always succeed thus can short-circuit before the `return`
+pub fn test25() {
+ loop {
+ 'label: {
+ if const { true } {
+ break 'label;
+ }
+ return;
+ }
+ }
+}
+
+pub fn test26() {
+ loop {
+ 'label: {
+ if 1 == 1 {
+ break 'label;
+ }
+ return;
+ }
+ }
+}
+
+pub fn test27() {
+ loop {
+ 'label: {
+ let x = true;
+ // Lints because we cannot prove it's always `true`
+ if x {
+ break 'label;
+ }
+ return;
+ }
+ }
+}
+
fn main() {
test1();
test2();