Rollup of 5 pull requests#133551

Merged

bors merged 20 commits intorust-lang:masterfrom

matthiaskrgr:rollup-m0rr5oz

Nov 28, 2024

Commits on Nov 26, 2024

Add missing code examples on `LocalKey`
GuillaumeGomez
committed

Commits on Nov 27, 2024

Structurally resolve before checking never
compiler-errors
committed
Structurally resolve before matching on type of projection
compiler-errors
committed
Bless tests due to extra error reporting due to normalizing types that are not WF
compiler-errors
committed
Fix review comment
bjorn3
committed
Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillot
matthiaskrgr
authored
Rollup merge of #133418 - Zalathar:spans, r=jieyouxu
matthiaskrgr
authored
Rollup merge of #133498 - GuillaumeGomez:missing-examples, r=joboet
matthiaskrgr
authored
Rollup merge of #133518 - compiler-errors:structurally-resolve-never, r=lcnr
matthiaskrgr
authored
Rollup merge of #133521 - compiler-errors:structurally-resolve-cat-proj, r=lcnr
matthiaskrgr
authored