Rollup of 7 pull requests - #117172

Merged

bors merged 14 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-s56bm2f

Oct 25, 2023

Commits on Oct 16, 2023

Add test for 113326
clubby789
committed
43a08bd

Commits on Oct 24, 2023

Merge impl_wf_inference into coherence checking
compiler-errors
committed
a947654
Intern LocalDefId list from opaque query
compiler-errors
committed
18b7d9e

Commits on Oct 25, 2023

Update cargo
weihanglo
committed
fd7bbc2
Make THIR unused_unsafe lint consistent with MIR
matthewjasper
committed
dc3d428
Fix problematic comment
cuishuang
committed
11debd7
Fix some coroutine sentences that don't make sense anymore.
oli-obk
committed
1be0033
Rollup merge of #116801 - clubby789:issue-113326-test, r=compiler-errors
matthiaskrgr
authored
75efc4f
Rollup merge of #117133 - compiler-errors:coherence-constrained, r=oli-obk
matthiaskrgr
authored
96074be
Rollup merge of #117136 - compiler-errors:defid-list, r=oli-obk
matthiaskrgr
authored
acc68e9
Rollup merge of #117150 - weihanglo:update-cargo, r=weihanglo
matthiaskrgr
authored
136f9db
Rollup merge of #117158 - matthewjasper:thir-unused-unsafe, r=oli-obk
matthiaskrgr
authored
105efbb
Rollup merge of #117160 - cuishuang:master, r=lqd
matthiaskrgr
authored
dffed66
Rollup merge of #117168 - oli-obk:coroutine_cleanups, r=JohnTitor
matthiaskrgr
authored
a7d05a6