2023-08-24 19:32:12 +00:00
|
|
|
//@aux-build:proc_macros.rs
|
2023-07-31 21:53:53 +00:00
|
|
|
#![feature(if_let_guard)]
|
|
|
|
#![allow(clippy::no_effect, unused)]
|
|
|
|
#![warn(clippy::redundant_guards)]
|
|
|
|
|
|
|
|
#[macro_use]
|
|
|
|
extern crate proc_macros;
|
|
|
|
|
|
|
|
struct A(u32);
|
|
|
|
|
|
|
|
struct B {
|
|
|
|
e: Option<A>,
|
|
|
|
}
|
|
|
|
|
|
|
|
struct C(u32, u32);
|
|
|
|
|
2023-08-11 12:05:13 +00:00
|
|
|
#[derive(PartialEq)]
|
|
|
|
struct FloatWrapper(f32);
|
|
|
|
fn issue11304() {
|
|
|
|
match 0.1 {
|
|
|
|
x if x == 0.0 => todo!(),
|
|
|
|
_ => todo!(),
|
|
|
|
}
|
|
|
|
match FloatWrapper(0.1) {
|
|
|
|
x if x == FloatWrapper(0.0) => todo!(),
|
|
|
|
_ => todo!(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-07-31 21:53:53 +00:00
|
|
|
fn main() {
|
|
|
|
let c = C(1, 2);
|
|
|
|
match c {
|
|
|
|
C(x, 1) => ..,
|
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
let x = Some(Some(1));
|
|
|
|
match x {
|
|
|
|
Some(Some(1)) if true => ..,
|
|
|
|
Some(Some(1)) => {
|
|
|
|
println!("a");
|
|
|
|
..
|
|
|
|
},
|
|
|
|
Some(Some(1)) => ..,
|
|
|
|
Some(Some(2)) => ..,
|
2023-09-25 09:28:58 +00:00
|
|
|
Some(Some(2)) => ..,
|
2023-07-31 21:53:53 +00:00
|
|
|
// Don't lint, since x is used in the body
|
|
|
|
Some(x) if let Some(1) = x => {
|
|
|
|
x;
|
|
|
|
..
|
2023-11-02 16:12:25 +00:00
|
|
|
},
|
2023-07-31 21:53:53 +00:00
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
let y = 1;
|
|
|
|
match x {
|
|
|
|
// Don't inline these, since y is not from the pat
|
|
|
|
Some(x) if matches!(y, 1 if true) => ..,
|
|
|
|
Some(x) if let 1 = y => ..,
|
|
|
|
Some(x) if y == 2 => ..,
|
2023-09-25 09:28:58 +00:00
|
|
|
Some(x) if 2 == y => ..,
|
2023-07-31 21:53:53 +00:00
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
let a = A(1);
|
|
|
|
match a {
|
|
|
|
_ if a.0 == 1 => {},
|
2023-09-25 09:28:58 +00:00
|
|
|
_ if 1 == a.0 => {},
|
2023-07-31 21:53:53 +00:00
|
|
|
_ => todo!(),
|
|
|
|
}
|
|
|
|
let b = B { e: Some(A(0)) };
|
|
|
|
match b {
|
|
|
|
B { e: Some(A(2)) } => ..,
|
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
// Do not lint, since we cannot represent this as a pattern (at least, without a conversion)
|
|
|
|
let v = Some(vec![1u8, 2, 3]);
|
|
|
|
match v {
|
|
|
|
Some(x) if x == [1] => {},
|
|
|
|
_ => {},
|
|
|
|
}
|
|
|
|
|
|
|
|
external! {
|
|
|
|
let x = Some(Some(1));
|
|
|
|
match x {
|
|
|
|
Some(x) if let Some(1) = x => ..,
|
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
}
|
|
|
|
with_span! {
|
|
|
|
span
|
|
|
|
let x = Some(Some(1));
|
|
|
|
match x {
|
|
|
|
Some(x) if let Some(1) = x => ..,
|
|
|
|
_ => todo!(),
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
enum E {
|
|
|
|
A(&'static str),
|
|
|
|
B(&'static str),
|
|
|
|
C(&'static str),
|
|
|
|
}
|
|
|
|
|
|
|
|
fn i() {
|
|
|
|
match E::A("") {
|
|
|
|
// Do not lint
|
|
|
|
E::A(x) | E::B(x) | E::C(x) if x == "from an or pattern" => {},
|
|
|
|
E::A("not from an or pattern") => {},
|
|
|
|
_ => {},
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn h(v: Option<u32>) {
|
|
|
|
match v {
|
|
|
|
Some(0) => ..,
|
|
|
|
_ => ..,
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
// Do not lint
|
|
|
|
|
|
|
|
fn f(s: Option<std::ffi::OsString>) {
|
|
|
|
match s {
|
|
|
|
Some(x) if x == "a" => {},
|
2023-09-25 09:28:58 +00:00
|
|
|
Some(x) if "a" == x => {},
|
2023-07-31 21:53:53 +00:00
|
|
|
_ => {},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct S {
|
|
|
|
a: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl PartialEq for S {
|
|
|
|
fn eq(&self, _: &Self) -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Eq for S {}
|
|
|
|
|
|
|
|
static CONST_S: S = S { a: 1 };
|
|
|
|
|
|
|
|
fn g(opt_s: Option<S>) {
|
|
|
|
match opt_s {
|
|
|
|
Some(x) if x == CONST_S => {},
|
2023-09-25 09:28:58 +00:00
|
|
|
Some(x) if CONST_S == x => {},
|
2023-07-31 21:53:53 +00:00
|
|
|
_ => {},
|
|
|
|
}
|
|
|
|
}
|
2023-09-25 09:28:58 +00:00
|
|
|
|
|
|
|
mod issue11465 {
|
|
|
|
enum A {
|
|
|
|
Foo([u8; 3]),
|
|
|
|
}
|
|
|
|
|
|
|
|
struct B {
|
|
|
|
b: String,
|
|
|
|
c: i32,
|
|
|
|
}
|
|
|
|
|
|
|
|
fn issue11465() {
|
|
|
|
let c = Some(1);
|
|
|
|
match c {
|
|
|
|
Some(1) => {},
|
|
|
|
Some(1) => {},
|
|
|
|
Some(2) => {},
|
|
|
|
Some(3) => {},
|
|
|
|
_ => {},
|
|
|
|
};
|
|
|
|
|
|
|
|
let enum_a = A::Foo([98, 97, 114]);
|
|
|
|
match enum_a {
|
|
|
|
A::Foo(ref arr) if arr == b"foo" => {},
|
|
|
|
A::Foo(ref arr) if b"foo" == arr => {},
|
|
|
|
A::Foo(ref arr) if let b"bar" = arr => {},
|
|
|
|
A::Foo(ref arr) if matches!(arr, b"baz") => {},
|
|
|
|
_ => {},
|
|
|
|
};
|
|
|
|
|
|
|
|
let struct_b = B {
|
|
|
|
b: "bar".to_string(),
|
|
|
|
c: 42,
|
|
|
|
};
|
|
|
|
match struct_b {
|
|
|
|
B { ref b, .. } if b == "bar" => {},
|
|
|
|
B { ref b, .. } if "bar" == b => {},
|
|
|
|
B { c: 1, .. } => {},
|
|
|
|
B { c: 1, .. } => {},
|
|
|
|
B { c: 1, .. } => {},
|
|
|
|
B { c: 1, .. } => {},
|
|
|
|
_ => {},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|