Rollup of 5 pull requests - #116727

Merged

bors merged 11 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-3qqdrny

Oct 14, 2023

Commits on Oct 11, 2023

implement get_filename/lines for span
ouz-a
committed
1d9481f
remove outdated bootstrap FIXME
onur-ozkan
committed
71bc63c

Commits on Oct 13, 2023

change fn name, return loc info, local name
ouz-a
committed
d6a55d3
Fix a comment
fee1-dead
committed
eae6e02
Misc improvements
c410-f3r
committed
6b59f6f
Fix AFIT lint message to mention pitfall
compiler-errors
committed
362b75b

Commits on Oct 14, 2023