Sync with rustc_span changes

[cbeuw]

rust-lang/rust#83813 made some changes to SourceMap and RealFileName. Now to get a string from a rustc_span::FileName, we need to specify if we would like the local filesystem path or remapped path via --remap-path-prefix. There seems to be only one place in miri that requires change.

[cbeuw]

The dev guide says to wait for a new nightly for this sort of change but there's a rust-version file so I assume that pins to the right commit?

[RalfJung]

The dev guide says to wait for a new nightly for this sort of change

That is outdated information; could you link me to where you found that?

[cbeuw]

The dev guide says to wait for a new nightly for this sort of change

That is outdated information; could you link me to where you found that?

https://rustc-dev-guide.rust-lang.org/contributing.html?highlight=Dance#external-dependencies-submodules

It seems correct for rustfmt (until the PR that turns it into a subtree lands) as that pins the version to a nightly, not commit.

[RalfJung]

Thanks; I'll see to updating those docs. :)

[RalfJung]

Thanks for taking care of this. :)
@bors r+

[bors]

📌 Commit 5b88045 has been approved by RalfJung

[bors]

⌛ Testing commit 5b88045 with merge bcae331...

[cbeuw]

@RalfJung just a heads up, it looks like the last bors job needs manual approval :)

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing bcae331 to master...

[RalfJung]

That's just the PR CI job that needs approval; bors will do its thing on a different branch and bors r+ is all the approval it needs. :)

[ghost]

This file is missing the final newline, causing the ./rustup-toolchain script always changes this file to insert a newline here.