mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3016 - RalfJung:is_reserved, r=RalfJung

Browse Source 
fix typo: is_reserved
This commit is contained in:
bors 2023-08-06 21:20:21 +00:00
commit 31e9f7a6ef
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs
View File

@ -283,7 +283,7 @@ fn tb_reborrow(
// interleaving, but wether UB happens can depend on whether a write occurs in the
// future...
let is_write = new_perm.initial_state.is_active()
|| (new_perm.initial_state.is_resrved() && new_perm.protector.is_some());
|| (new_perm.initial_state.is_reserved() && new_perm.protector.is_some());
if is_write {
// Need to get mutable access to alloc_extra.
// (Cannot always do this as we can do read-only reborrowing on read-only allocations.)

2
src/tools/miri/src/borrow_tracker/tree_borrows/perms.rs
View File

@ -152,7 +152,7 @@ pub fn is_active(self) -> bool {
matches!(self.inner, Active)
}
pub fn is_resrved(self) -> bool {
pub fn is_reserved(self) -> bool {
matches!(self.inner, Reserved { .. })
}