Auto merge of #119610 - Nadrieril:never_pattern_bindings, r=compiler-errors

never patterns: Check bindings wrt never patterns

Never patterns:
- Shouldn't contain bindings since they never match anything;
- Don't count when checking that or-patterns have consistent bindings.

r? `@compiler-errors`
This commit is contained in:
bors 2024-01-15 21:24:13 +00:00
commit 406b2e3e02

Diff content is not available