summaryrefslogtreecommitdiffstats
path: root/src/tools/clippy/tests/ui/never_loop.rs
diff options
context:
space:
mode:
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();