Add check for missing fields in enum variant pattern

2025-01-08T00:10:16+00:00

Use `span_label` as it looks better when we show pattern missing binding in order

2024-12-15T22:58:16+00:00

Keep track of patterns that could have introduced a binding, but didn't

2024-12-13T21:51:33+00:00

When we recover from a pattern parse error, or a pattern uses `..`, we keep track of that and affect resolution error for missing bindings that could have been provided by that pattern. We differentiate between `..` and parse recovery. We silence resolution errors likely caused by the pattern parse error. ``` error[E0425]: cannot find value `title` in this scope --> $DIR/struct-pattern-with-missing-fields-resolve-error.rs:19:30 | LL | println!("[{}]({})", title, url); | ^^^^^ not found in this scope | note: `Website` has a field `title` which could have been included in this pattern, but it wasn't --> $DIR/struct-pattern-with-missing-fields-resolve-error.rs:17:12 | LL | / struct Website { LL | | url: String, LL | | title: Option , | | ----- defined here LL | | } | |_- ... LL | if let Website { url, .. } = website { | ^^^^^^^^^^^^^^^^^^^ this pattern doesn't include `title`, which is available in `Website` ``` Fix #74863.

rust/tests/ui/pattern/struct-pattern-with-missing-fields-resolve-error.rs, branch 1.90.0

Add check for missing fields in enum variant pattern

Use `span_label` as it looks better when we show pattern missing binding in order

Keep track of patterns that could have introduced a binding, but didn't