typeck: clarify def_bm adjustments & add tests for or-patterns#68856

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

Centril:or-pat-ref-patCentril/rust:or-pat-ref-patCopy head branch name to clipboard