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 838b8d5 commit 6e754feCopy full SHA for 6e754fe
src/tools/miri/src/borrow_tracker/stacked_borrows/stack.rs
@@ -136,8 +136,16 @@ impl StackCache {
136
137
impl PartialEq for Stack {
138
fn eq(&self, other: &Self) -> bool {
139
- // All the semantics of Stack are in self.borrows, everything else is caching
140
- self.borrows == other.borrows
+ let Stack {
+ borrows,
141
+ unknown_bottom,
142
+ // The cache is ignored for comparison.
143
+ #[cfg(feature = "stack-cache")]
144
+ cache: _,
145
146
+ unique_range: _,
147
+ } = self;
148
+ *borrows == other.borrows && *unknown_bottom == other.unknown_bottom
149
}
150
151
0 commit comments