Skip to content

Commit ccd680e

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 19b0bb9 commit ccd680e

2 files changed

Lines changed: 7 additions & 2 deletions

File tree

‎src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -424,7 +424,11 @@ impl<'history, 'ecx, 'tcx> DiagnosticCx<'history, 'ecx, 'tcx> {
424424
}
425425

426426
#[inline(never)]// This is only called on fatal code paths
427-
pub(super)fnprotector_error(&self,item:&Item,kind:ProtectorKind) -> InterpErrorKind<'tcx>{
427+
pub(super)fnprotector_error(
428+
&self,
429+
item:&Item,
430+
kind:ProtectorKind,
431+
) -> InterpErrorKind<'tcx>{
428432
let protected = match kind {
429433
ProtectorKind::WeakProtector => "weakly protected",
430434
ProtectorKind::StrongProtector => "strongly protected",

‎src/tools/miri/tests/pass/dyn-upcast.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -433,7 +433,8 @@ fn replace_vptr() {
433433
}
434434

435435
fndrop_principal(){
436-
use std::{alloc::Layout, any::Any};
436+
use std::alloc::Layout;
437+
use std::any::Any;
437438

438439
constfnyeet_principal(x:Box<dynAny + Send>) -> Box<dynSend>{
439440
x

0 commit comments

Comments
 (0)