From e79b17941212fe10f7b1bfda09d991bf5254fac4 Mon Sep 17 00:00:00 2001 From: Eric Mark Martin Date: Wed, 28 Jun 2023 01:49:12 -0400 Subject: [PATCH] add comment back --- tests/ui/pattern/usefulness/issue-3601.rs | 1 + tests/ui/pattern/usefulness/issue-3601.stderr | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/ui/pattern/usefulness/issue-3601.rs b/tests/ui/pattern/usefulness/issue-3601.rs index d096e39e2cf..a6d2b11f4ee 100644 --- a/tests/ui/pattern/usefulness/issue-3601.rs +++ b/tests/ui/pattern/usefulness/issue-3601.rs @@ -25,6 +25,7 @@ fn main() { let ed = ElementData { kind: Box::new(ElementKind::HTMLImageElement(id)) }; let n = NodeData { kind: Box::new(NodeKind::Element(ed)) }; + // n.b. span could be better match n.kind { box NodeKind::Element(ed) => match ed.kind { //~^ ERROR non-exhaustive patterns diff --git a/tests/ui/pattern/usefulness/issue-3601.stderr b/tests/ui/pattern/usefulness/issue-3601.stderr index 6a7c6b13e25..b8c98743101 100644 --- a/tests/ui/pattern/usefulness/issue-3601.stderr +++ b/tests/ui/pattern/usefulness/issue-3601.stderr @@ -1,5 +1,5 @@ error[E0004]: non-exhaustive patterns: `box _` not covered - --> $DIR/issue-3601.rs:29:44 + --> $DIR/issue-3601.rs:30:44 | LL | box NodeKind::Element(ed) => match ed.kind { | ^^^^^^^ pattern `box _` not covered