summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs')
-rw-r--r--src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs36
1 files changed, 0 insertions, 36 deletions
diff --git a/src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs b/src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs
deleted file mode 100644
index 856d20417..000000000
--- a/src/test/ui/consts/const_in_pattern/custom-eq-branch-warn.rs
+++ /dev/null
@@ -1,36 +0,0 @@
-// check-pass
-
-struct CustomEq;
-
-impl Eq for CustomEq {}
-impl PartialEq for CustomEq {
- fn eq(&self, _: &Self) -> bool {
- false
- }
-}
-
-#[derive(PartialEq, Eq)]
-enum Foo {
- Bar,
- Baz,
- Qux(CustomEq),
-}
-
-// We know that `BAR_BAZ` will always be `Foo::Bar` and thus eligible for structural matching, but
-// dataflow will be more conservative.
-const BAR_BAZ: Foo = if 42 == 42 {
- Foo::Bar
-} else {
- Foo::Qux(CustomEq)
-};
-
-fn main() {
- match Foo::Qux(CustomEq) {
- BAR_BAZ => panic!(),
- //~^ WARN must be annotated with `#[derive(PartialEq, Eq)]`
- //~| WARN this was previously accepted
- //~| NOTE see issue #73448
- //~| NOTE `#[warn(nontrivial_structural_match)]` on by default
- _ => {}
- }
-}