We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a429148 commit d411873Copy full SHA for d411873
src/stacked_borrows/stack.rs
@@ -211,7 +211,7 @@ impl<'tcx> Stack {
211
}
212
213
// Couldn't find it in the stack; but if there is an unknown bottom it might be there.
214
- let found = self.unknown_bottom.is_some_and(|&unknown_limit| {
+ let found = self.unknown_bottom.is_some_and(|unknown_limit| {
215
tag.0 < unknown_limit.0 // unknown_limit is an upper bound for what can be in the unknown bottom.
216
});
217
if found { Ok(None) } else { Err(()) }
0 commit comments