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

Remove rustc compiler features to unbreak rustc nightly build #39

Closed

Conversation

bnjbvr
Copy link

@bnjbvr bnjbvr commented Jul 28, 2020

  • following landing of Make more primitive integer methods const rust-lang/rust#73858,
    the const_saturing_int_methods feature is in a weird nonexisting
    state (stabilized in a future Rust version), so remove it from the list
    to unblock compilation.
  • also remove other const features that have stabilized in the
    meanwhile to avoid compiler warnings.

@bnjbvr
Copy link
Author

bnjbvr commented Jul 28, 2020

Seems a pinned version of rustc nightly is pinned in CI, should i bump this too?

@bnjbvr
Copy link
Author

bnjbvr commented Jul 28, 2020

after looking into it a bit, it seems the latest version of rustc nightly compatible with miri determines which nightly is going to be used, so it's depending on external things that might be hard to fix here? Not sure what to do at this point.

- following landing of rust-lang/rust#73858,
the `const_saturing_int_methods` feature is in a weird nonexisting
state (stabilized in a future Rust version), so remove it from the list
to unblock compilation.
- also remove other const features that have stabilized in the
meanwhile to avoid compiler warnings.
@bnjbvr
Copy link
Author

bnjbvr commented Jul 31, 2020

Now that miri is available in a more recent nightly, the test passes again, yay. @slightlyoutofphase Can you take a look, please? Thanks!

@slightlyoutofphase
Copy link
Owner

I noticed this PR right after I noticed the automated tests were failing and had already fixed the issues myself. Thanks for being on the ball though, and sorry it took me a little bit to get this all taken care of!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants