Rollup of 3 pull requests#91320

Merged

bors merged 7 commits intorust-lang:masterfrom

matthiaskrgr:rollup-r209seq

Nov 28, 2021

Commits on Nov 26, 2021

Perform Sync check on static items in wf-check instead of during const checks
oli-obk
committed