Skip to content

Commit 42b590b

Browse files
author
The Miri Conjob Bot
committed
fmt
1 parent 8f2adfd commit 42b590b

File tree

4 files changed

+4
-8
lines changed

4 files changed

+4
-8
lines changed

src/borrow_tracker/stacked_borrows/diagnostics.rs

+1-3
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,7 @@ use rustc_data_structures::fx::FxHashSet;
55
use rustc_span::{Span, SpanData};
66
use rustc_target::abi::Size;
77

8-
use crate::borrow_tracker::{
9-
AccessKind, GlobalStateInner, ProtectorKind,
10-
};
8+
use crate::borrow_tracker::{AccessKind, GlobalStateInner, ProtectorKind};
119
use crate::*;
1210

1311
/// Error reporting

src/borrow_tracker/stacked_borrows/mod.rs

+2-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,8 @@ use rustc_target::abi::{Abi, Size};
1818

1919
use crate::borrow_tracker::{
2020
stacked_borrows::diagnostics::{AllocHistory, DiagnosticCx, DiagnosticCxBuilder},
21-
AccessKind, GlobalStateInner, ProtectorKind,};
21+
AccessKind, GlobalStateInner, ProtectorKind,
22+
};
2223
use crate::*;
2324

2425
use diagnostics::{RetagCause, RetagInfo};

src/borrow_tracker/tree_borrows/mod.rs

+1-3
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,7 @@ use log::trace;
22

33
use rustc_target::abi::{Abi, Size};
44

5-
use crate::borrow_tracker::{
6-
AccessKind, GlobalState, GlobalStateInner, ProtectorKind,
7-
};
5+
use crate::borrow_tracker::{AccessKind, GlobalState, GlobalStateInner, ProtectorKind};
86
use rustc_middle::{
97
mir::{Mutability, RetagKind},
108
ty::{

tests/pass/enum-nullable-const-null-with-fields.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
21
static C: Result<(), Box<isize>> = Ok(());
32

43
// This is because of yet another bad assertion (ICE) about the null side of a nullable enum.

0 commit comments

Comments
 (0)