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

Change feature name to is_some_and

Browse source
This commit is contained in:
Cameron Steffen 2022-06-23 13:17:42 -05:00
parent 2f83134e37
commit 4f12de0660
7 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -7,7 +7,7 @@
#![feature(int_log)]
#![feature(variant_count)]
#![feature(yeet_expr)]
#![feature(is_some_with)]
#![feature(is_some_and)]
#![feature(nonzero_ops)]
#![feature(local_key_cell_methods)]
#![cfg_attr(bootstrap, feature(let_else))]