summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/const_in_pattern/issue-44333.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const_in_pattern/issue-44333.rs')
-rw-r--r--tests/ui/consts/const_in_pattern/issue-44333.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/ui/consts/const_in_pattern/issue-44333.rs b/tests/ui/consts/const_in_pattern/issue-44333.rs
new file mode 100644
index 000000000..96e8795e5
--- /dev/null
+++ b/tests/ui/consts/const_in_pattern/issue-44333.rs
@@ -0,0 +1,25 @@
+// run-pass
+
+#![warn(pointer_structural_match)]
+
+type Func = fn(usize, usize) -> usize;
+
+fn foo(a: usize, b: usize) -> usize { a + b }
+fn bar(a: usize, b: usize) -> usize { a * b }
+fn test(x: usize) -> Func {
+ if x % 2 == 0 { foo }
+ else { bar }
+}
+
+const FOO: Func = foo;
+const BAR: Func = bar;
+
+fn main() {
+ match test(std::env::consts::ARCH.len()) {
+ FOO => println!("foo"), //~ WARN pointers in patterns behave unpredictably
+ //~^ WARN will become a hard error
+ BAR => println!("bar"), //~ WARN pointers in patterns behave unpredictably
+ //~^ WARN will become a hard error
+ _ => unreachable!(),
+ }
+}