Rollup of 7 pull requests#106544

Merged

bors merged 27 commits intorust-lang:masterfrom

matthiaskrgr:rollup-e9prjed

Jan 7, 2023

Commits on Dec 30, 2022

Add some docs to `bug`, `span_bug` and `delay_span_bug`
Noratrieb
committed

Commits on Jan 2, 2023

Commits on Jan 4, 2023

Commits on Jan 5, 2023

Better phrasing for hygiene of include macro
coastalwhite
committed

Commits on Jan 6, 2023