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

hopefully improve error message a bit

Browse Source
This commit is contained in:
Ralf Jung 2019-05-23 11:03:04 +02:00
parent 75d97d9462
commit 3e33e54b5b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/stacked_borrows.rs
View File

@ -383,7 +383,7 @@ fn grant(
// We use that to determine where to put the new item.
let granting_idx = self.find_granting(access, derived_from)
.ok_or_else(|| InterpError::MachineError(format!(
"no item to reborrow for {:?} from tag {} found in borrow stack", new.perm, derived_from,
"trying to reborrow for {:?}, but parent tag {} does not have an appropriate item in the borrow stack", new.perm, derived_from,
)))?;
// Compute where to put the new item.