Rename invalid_mut to without_provenance_mut
#109
Merged
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
rice7th
changed the title
invalid_mut to without_provenance_mutinvalid_mut to without_provenance_mut
|
Thanks! Could you also update rust-toolchain.toml to point to a nightly version that has the new names, and run |
|
Sure! Just give me around six hours when I am back from school. |
|
@sunfishcode Done, for both PRs. If you encounter any problems caused by the version bump, please let me know! |
|
EDIT: I am trying to fix all CI errors, but each time a new one pops out. It may require a bit of time to prepare the PR correctly. |
|
CI now passed! Thanks for fixing this, and the |
|
This is now released in origin 0.18.0. |
|
Absolutely no problem! Glad I can help for this awesome project =) |
# for free
to join this conversation on GitHub.
Already have an account?
# 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.
Plain rename made for newer nightlies.
Fixes sunfishcode/c-ward#122 too.