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

Change is_some_and to take by value

Browse source
This commit is contained in:
Cameron Steffen 2022-06-21 14:27:53 -05:00
parent 744e397d88
commit 2f83134e37
3 changed files with 22 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/src/stacked_borrows/stack.rs
View file

@ -211,7 +211,7 @@ impl<'tcx> Stack {
}
// Couldn't find it in the stack; but if there is an unknown bottom it might be there.
let found = self.unknown_bottom.is_some_and(|&unknown_limit| {
let found = self.unknown_bottom.is_some_and(|unknown_limit| {
tag.0 < unknown_limit.0 // unknown_limit is an upper bound for what can be in the unknown bottom.
});
if found { Ok(None) } else { Err(()) }