diff options
| author | Cameron Steffen <cam.steffen94@gmail.com> | 2022-06-21 14:27:53 -0500 |
|---|---|---|
| committer | Cameron Steffen <cam.steffen94@gmail.com> | 2022-10-01 11:45:52 -0500 |
| commit | 2f83134e375a98b14ecb2b10dbea0c8b2c43f5ed (patch) | |
| tree | a25a24fe436f1a07b1cc003aff2cf066431c8e11 /src | |
| parent | 744e397d8855f7da87d70aa8d0bd9e0f5f0b51a1 (diff) | |
| download | rust-2f83134e375a98b14ecb2b10dbea0c8b2c43f5ed.tar.gz rust-2f83134e375a98b14ecb2b10dbea0c8b2c43f5ed.zip | |
Change is_some_and to take by value
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/stacked_borrows/stack.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/stacked_borrows/stack.rs b/src/tools/miri/src/stacked_borrows/stack.rs index 494ea08b56e..97632af785d 100644 --- a/src/tools/miri/src/stacked_borrows/stack.rs +++ b/src/tools/miri/src/stacked_borrows/stack.rs @@ -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(()) } |