Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update the Rust toolchain to nightly-2023-08-22. #511

Merged
merged 1 commit into from
Aug 23, 2023

Conversation

jrvanwhy
Copy link
Collaborator

The semantics of int-to-pointer casts under strict provenance has changed. Ideally, we would update our From<usize> for Register implementation to use the sptr crate, but sptr does not currently have a suitable license. There is a PR to change that, but it hasn't gotten a response in 7 months, so I don't think we can use it. Instead, this copies the implementation of core::ptr::invalid.

This also bumps our thiserror dependency, which forces Cargo to pick a newer version of proc-macro2 that is compatible with recently nightly toolchains.

The semantics of int-to-pointer casts under strict provenance has changed. Ideally, we would update our `From<usize> for Register` implementation to use the `sptr` crate, but `sptr` does not currently have a suitable license. There is a [PR](Gankra/sptr#14) to change that, but it hasn't gotten a response in 7 months, so I don't think we can use it. Instead, this copies the implementation of `core::ptr::invalid`.

This also bumps our `thiserror` dependency, which forces Cargo to pick a newer version of `proc-macro2` that is compatible with recently nightly toolchains.
@jrvanwhy jrvanwhy added the upkeep Indicates a PR is upkeep as defined by the code review policy. label Aug 22, 2023
@bradjc bradjc mentioned this pull request Aug 23, 2023
@jrvanwhy jrvanwhy added this pull request to the merge queue Aug 23, 2023
Merged via the queue into tock:master with commit 93c48c6 Aug 23, 2023
3 checks passed
@jrvanwhy jrvanwhy deleted the toolchain-update branch August 23, 2023 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
upkeep Indicates a PR is upkeep as defined by the code review policy.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants