user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

stabilize extract_if

Browse source
This commit is contained in:
bendn 2025-02-16 12:38:11 +07:00
parent 1805b33483
commit c39f33baae
No known key found for this signature in database
GPG key ID: 0D9D3A2A3B2A93D6
11 changed files with 9 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tools/miri/src/lib.rs
View file

@ -16,7 +16,6 @@
#![feature(unqualified_local_imports)]
#![feature(derive_coerce_pointee)]
#![feature(arbitrary_self_types)]
#![feature(extract_if)]
// Configure clippy and other lints
#![allow(
clippy::collapsible_else_if,