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

use new format string syntax in some places

Browse Source
This commit is contained in:
Ralf Jung 2022-04-09 11:22:18 -04:00
parent 855af088b8
commit 507c09f45f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/diagnostics.rs
View File

@ -414,11 +414,11 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
)
}
},
CreatedCallId(id) => format!("function call with id {}", id),
CreatedAlloc(AllocId(id)) => format!("created allocation with id {}", id),
FreedAlloc(AllocId(id)) => format!("freed allocation with id {}", id),
CreatedCallId(id) => format!("function call with id {id}"),
CreatedAlloc(AllocId(id)) => format!("created allocation with id {id}"),
FreedAlloc(AllocId(id)) => format!("freed allocation with id {id}"),
RejectedIsolatedOp(ref op) =>
format!("{} was made to return an error due to isolation", op),
format!("{op} was made to return an error due to isolation"),
};
let (title, diag_level) = match e {