Rollup of 6 pull requests
Successful merges:
- #69866 (Rename `def_span` to `guess_head_span`)
- #69878 (Tweak chained operators diagnostic)
- #70375 (avoid catching InterpError)
- #70386 (typeck: minor pattern typing improvements)
- #70389 (borrowck: prefer "value" over "`_`" in diagnostics)
- #70395 (Update cargo.)
Failed merges:
r? @ghost