MIR backend: Support nightly-2025-02-16
#2323
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This updates SAW and
crux-mir-compin order to support a more recent Rust nightly (nightly-2025-02-16). This piggybacks off of the correspondingmir-jsonchanges in GaloisInc/mir-json#98 (a fix for GaloisInc/mir-json#78), as well as the{crucible,crux}-mirchanges in GaloisInc/crucible#1396.Most of the interesting changes are on the Crucible side in GaloisInc/crucible#1396. The code in SAW that had to change:
mirRef_offsetSimno longer takes aTypeReprargument, so some code incrux-mir-comphad to be adjusted accordingly.DefIds for lang items (e.g.,$lang::Option), theDefIdlookup logic now takes into account the newlang_itemstable in a MIR JSON file.This also updates all of the vendored-in
*.linked-mir.jsonfiles andcrux-mir-comptest cases to use updated line number information.The commit history in this branch is a little messy, so I will rebase and squash it before landing it.