Rollup of 6 pull requests - #119889

Merged

bors merged 15 commits into

rust-lang:masterfrom

GuillaumeGomez:rollup-ah3dhya

Jan 12, 2024

Commits on Jan 11, 2024

Remove special-casing around aliaskind in new solver
compiler-errors
committed
68c2f11
Avoid repetition in `flush_delayed` calls.
nnethercote
committed
3330940

Commits on Jan 12, 2024

Add more information to `visit_projection_elem`
celinval
committed
efab0dc
Good path bugs are just a flavor of delayed bug
compiler-errors
committed
eb79bc0
Give me a way to emit all the delayed bugs
compiler-errors
committed
7df43d3
Rename `--env` option flag to `--env-set`
GuillaumeGomez
committed
462bcac
Revert "Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelix"
dianqk
committed
6d29eac
Revert "Auto merge of #113923 - DianQK:restore-no-builtins-lto, r=pnkfelix"
dianqk
committed
aa874c5
check rust lints when an unknown lint is detected
chenyukang
committed
ca421fe
Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnr
GuillaumeGomez
authored
46c3c01
Rollup merge of #119819 - chenyukang:yukang-fix-118183-lint, r=davidtwco
GuillaumeGomez
authored
737452a
Rollup merge of #119872 - compiler-errors:eagerly-emit-delayed-bugs, r=oli-obk,nnethercote
GuillaumeGomez
authored
504794b
Rollup merge of #119877 - celinval:smir-visit-projection, r=oli-obk
GuillaumeGomez
authored
4d12817
Rollup merge of #119884 - GuillaumeGomez:rename-env-opt, r=davidtwco
GuillaumeGomez
authored
c997b29
Rollup merge of #119885 - DianQK:revert-pr-113923, r=petrochenkov
GuillaumeGomez
authored
dafbe17