Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Jun 27, 2022
1 parent 4120425 commit dd69890
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 11 deletions.
4 changes: 2 additions & 2 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -89,8 +89,8 @@ pub use crate::mono_hash_map::MonoHashMap;
pub use crate::operator::EvalContextExt as OperatorEvalContextExt;
pub use crate::range_map::RangeMap;
pub use crate::stacked_borrows::{
CallId, EvalContextExt as StackedBorEvalContextExt, Item, Permission, SbTag, SbTagExtra,
Stack, Stacks,
CallId, EvalContextExt as StackedBorEvalContextExt, Item, Permission, SbTag, SbTagExtra, Stack,
Stacks,
};
pub use crate::sync::{CondvarId, EvalContextExt as SyncEvalContextExt, MutexId, RwLockId};
pub use crate::thread::{
Expand Down
7 changes: 1 addition & 6 deletions src/stacked_borrows.rs
Original file line number Diff line number Diff line change
Expand Up @@ -403,12 +403,7 @@ impl<'tcx> Stack {
tag, item
),
None,
tag.and_then(|tag| {
alloc_history.get_logs_relevant_to(
tag,
Some(item.tag),
)
}),
tag.and_then(|tag| alloc_history.get_logs_relevant_to(tag, Some(item.tag))),
))?
} else {
Err(err_sb_ub(
Expand Down
4 changes: 1 addition & 3 deletions src/stacked_borrows/diagnostics.rs
Original file line number Diff line number Diff line change
Expand Up @@ -148,9 +148,7 @@ impl AllocHistory {
err_sb_ub(
format!("{}{}", action, error_cause(stack, derived_from)),
Some(operation_summary("a reborrow", alloc_id, alloc_range)),
derived_from.and_then(|derived_from| {
self.get_logs_relevant_to(derived_from, None)
}),
derived_from.and_then(|derived_from| self.get_logs_relevant_to(derived_from, None)),
)
}

Expand Down

0 comments on commit dd69890

Please sign in to comment.