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

stabilize is_none_or

Browse source
This commit is contained in:
Slanterns 2024-08-14 18:28:40 +08:00
parent 9859bf27fd
commit e2ec11502d
No known key found for this signature in database
GPG key ID: 1AA37EE7FAAE433A
4 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -12,7 +12,6 @@
#![feature(let_chains)]
#![feature(trait_upcasting)]
#![feature(strict_overflow_ops)]
#![feature(is_none_or)]
// Configure clippy and other lints
#![allow(
clippy::collapsible_else_if,