Rollup of 5 pull requests - #116901

Closed

matthiaskrgr wants to merge 10 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-pz0bv2h

Commits on Oct 12, 2023

Don't ICE when encountering unresolved regions in fully_resolve
compiler-errors
committed
97d162a

Commits on Oct 18, 2023

Avoid having `rustc_smir` depend on `rustc_interface` or `rustc_driver`
oli-obk
committed
e8857d0
Change my name in mailmap
blyxyas
committed
54eef16
Only check in a single place if a pass is enabled.
cjgillot
committed
c1c5a1d
Bump COINDUCTIVE_OVERLAP_IN_COHERENCE
compiler-errors
committed
973d589
Rollup merge of #116493 - compiler-errors:coinductive-cycle-lint, r=lcnr
matthiaskrgr
authored
b6754a7
Rollup merge of #116663 - compiler-errors:resolve-regions, r=lcnr
matthiaskrgr
authored
7dc3982
Rollup merge of #116837 - oli-obk:smir_run_macro, r=spastorino
matthiaskrgr
authored
1960cd9
Rollup merge of #116883 - blyxyas:fix-mailmap, r=Nilstrieb
matthiaskrgr
authored
72b9b47
Rollup merge of #116896 - cjgillot:single-inline, r=oli-obk
matthiaskrgr
authored
a76ab3e