Skip to content

Remove #![feature(const_generics)] and #![allow(incomplete_features)] - #1679

Merged
bors merged 1 commit into
masterfrom
unknown repository
Jan 17, 2021
Merged

bors merged 1 commit into
masterfrom
unknown repository

Conversation

@ghost

@ghost ghost commented Jan 17, 2021

Copy link
Copy Markdown

#![feature(min_const_generics)] has been stabilized, so I removed #![feature(const_generics)] and #![allow(incomplete_features)] (I assume Miri is not built by the beta bootstrap compiler so it's fine to just remove them).

The test tests/run-pass/specialization.rs also has a #![allow(incomplete_features)] for #![feature(specialization)]. I think that can be removed and #![feature(specialization)] can be replaced with #![feature(min_specialization)], but I'm not sure whether I should do that because it's a test. Feel free to ask me to remove it if it's fine to do so.

@RalfJung

Copy link
Copy Markdown
Member

Thanks. :)
@bors r+

For the test I am fine either way, so if you want to change that as well, go ahead.

@bors

bors commented Jan 17, 2021

Copy link
Copy Markdown
Contributor

📌 Commit 9949d9e has been approved by RalfJung

@bors

bors commented Jan 17, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit 9949d9e with merge ba244e3...

@bors

bors commented Jan 17, 2021

Copy link
Copy Markdown
Contributor

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

@bors
bors merged commit ba244e3 into rust-lang:master Jan 17, 2021
@ghost
ghost deleted the min-const-generics branch January 17, 2021 16:55
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