Rollup of 3 pull requests - #117564

Merged

bors merged 15 commits into

rust-lang:masterfrom

TaKO8Ki:rollup-lkqhpqc

Nov 4, 2023

Commits on Nov 2, 2023

Reorder
Nadrieril
committed
fedee8d
Uncomplicate check_let_chain
Nadrieril
committed
1f9a2f7
Check pattern error while lowering
Nadrieril
committed
380c56c
Tweak diagnostic for consistency
Nadrieril
committed
d95f6a9
Add regression test for pattern checks
Nadrieril
committed
b60f08a
Always do all the pattern checks
Nadrieril
committed
c198569
Factor out pointing at ADT definition
Nadrieril
committed
fcd24fb
Cleanup check_match code paths
Nadrieril
committed
3760d91

Commits on Nov 3, 2023

Commits on Nov 4, 2023