bors 9239760da8 Auto merge of #105750 - oli-obk:valtrees, r=lcnr ... Always fall back to PartialEq when a constant in a pattern is not recursively structural-eq Right now we destructure the constant as far as we can, but with this PR we just don't take it apart anymore. This is preparatory work for moving to always using valtrees, as these will just do a single conversion of the constant to a valtree at the start, and if that fails, fall back to `PartialEq`. This removes a few cases where we emitted the `unreachable pattern` lint, because we stop looking into the constant deeply enough to detect that a constant is already covered by another pattern. Previous work: https://github.com/rust-lang/rust/pull/70743 This is groundwork towards fixing https://github.com/rust-lang/rust/issues/83085 and https://github.com/rust-lang/rust/issues/105047		2023-05-16 13:10:24 +00:00
..
auxiliary
bindings-after-at	Adjust tests for new drop and forget lints	2023-05-10 19:36:02 +02:00
move-ref-patterns	Adjust tests for new drop and forget lints	2023-05-10 19:36:02 +02:00
usefulness	Always fall back to PartialEq when a constant in a pattern is not recursively structural-eq	2023-05-15 14:20:31 +00:00
for-loop-bad-item.rs
for-loop-bad-item.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
ignore-all-the-things.rs
integer-range-binding.rs
issue-6449.rs
issue-8351-1.rs
issue-8351-2.rs
issue-10392.rs
issue-11577.rs
issue-12582.rs
issue-14221.rs	Change bindings_with_variant_name to deny-by-default	2023-01-20 02:26:12 -05:00
issue-14221.stderr	Change bindings_with_variant_name to deny-by-default	2023-01-20 02:26:12 -05:00
issue-15080.rs
issue-17718-patterns.rs
issue-17718-patterns.stderr
issue-22546.rs
issue-27320.rs
issue-52240.rs
issue-52240.stderr
issue-66270-pat-struct-parser-recovery.rs
issue-66270-pat-struct-parser-recovery.stderr
issue-67037-pat-tup-scrut-ty-diff-less-fields.rs
issue-67037-pat-tup-scrut-ty-diff-less-fields.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
issue-67776-match-same-name-enum-variant-refs.rs	Change bindings_with_variant_name to deny-by-default	2023-01-20 02:26:12 -05:00
issue-67776-match-same-name-enum-variant-refs.stderr	Change bindings_with_variant_name to deny-by-default	2023-01-20 02:26:12 -05:00
issue-68393-let-pat-assoc-constant.rs
issue-68393-let-pat-assoc-constant.stderr	Perform match checking on THIR.	2023-04-03 15:59:21 +00:00
issue-72565.rs
issue-72565.stderr
issue-72574-1.rs
issue-72574-1.stderr
issue-72574-2.rs
issue-72574-2.stderr
issue-74539.rs
issue-74539.stderr
issue-74702.rs
issue-74702.stderr
issue-74954.rs
issue-80186-mut-binding-help-suggestion.rs
issue-80186-mut-binding-help-suggestion.stderr
issue-88074-pat-range-type-inference-err.rs
issue-88074-pat-range-type-inference-err.stderr
issue-88074-pat-range-type-inference.rs
issue-92074-macro-ice.rs
issue-92074-macro-ice.stderr
issue-95878.rs
issue-95878.stderr
issue-106552.rs	suggest fix for attempted integer identifier in patterns	2023-01-14 12:51:20 +13:00
issue-106552.stderr	Perform match checking on THIR.	2023-04-03 15:59:21 +00:00
issue-106862.fixed	error-msg: impl better suggestion for E0532	2023-03-15 22:19:54 +13:00
issue-106862.rs	error-msg: impl better suggestion for E0532	2023-03-15 22:19:54 +13:00
issue-106862.stderr	error-msg: impl better suggestion for E0532	2023-03-15 22:19:54 +13:00
non-constant-in-const-path.rs
non-constant-in-const-path.stderr
non-structural-match-types.rs
non-structural-match-types.stderr
pat-shadow-in-nested-binding.rs
pat-shadow-in-nested-binding.stderr
pat-struct-field-expr-has-type.rs
pat-struct-field-expr-has-type.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
pat-tuple-bad-type.rs
pat-tuple-bad-type.stderr
pat-tuple-field-count-cross.rs
pat-tuple-field-count-cross.stderr	resolve: Remove struct_field_names_untracked	2023-03-13 17:31:55 +04:00
pat-tuple-overfield.rs
pat-tuple-overfield.stderr
pat-tuple-underfield.rs
pat-tuple-underfield.stderr
pat-type-err-formal-param.rs
pat-type-err-formal-param.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
pat-type-err-let-stmt.rs
pat-type-err-let-stmt.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
patkind-litrange-no-expr.rs
patkind-litrange-no-expr.stderr
pattern-binding-disambiguation.rs
pattern-binding-disambiguation.stderr
pattern-error-continue.rs	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
pattern-error-continue.stderr	refactor(resolve): clean up the early error return caused by non-call	2023-05-10 22:35:01 +08:00
pattern-ident-path-generics.rs
pattern-ident-path-generics.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
pattern-tyvar-2.rs
pattern-tyvar-2.stderr
pattern-tyvar.rs
pattern-tyvar.stderr	Modify primary span label for E0308	2023-01-30 20:12:19 +00:00
rest-pat-semantic-disallowed.rs
rest-pat-semantic-disallowed.stderr
rest-pat-syntactic.rs
rest-pat-syntactic.stderr
size-and-align.rs
suggest-adding-appropriate-missing-pattern-excluding-comments.fixed	Perform match checking on THIR.	2023-04-03 15:59:21 +00:00
suggest-adding-appropriate-missing-pattern-excluding-comments.rs
suggest-adding-appropriate-missing-pattern-excluding-comments.stderr	Perform match checking on THIR.	2023-04-03 15:59:21 +00:00