Skip to content

Commit 9346adc

Browse files
author
Fedor Ryabinin
committed
Fix imports
1 parent 1b72505 commit 9346adc

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

library/alloctests/tests/sort/known_good_stable_sort.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,17 +5,17 @@
55
// Based on https://github.com/voultapher/tiny-sort-rs.
66

77
#![feature(ub_checks)]
8-
use safety::{ensures,requires};
8+
use alloc::alloc::{Layout, alloc, dealloc};
9+
use safety::requires;
10+
use std::ptr;
11+
912
#[cfg(kani)]
10-
#[unstable(feature="kani", issue="none")]
13+
#[unstable(feature = "kani", issue = "none")]
1114
use core::kani;
1215
#[allow(unused_imports)]
1316
#[unstable(feature = "ub_checks", issue = "none")]
1417
use core::ub_checks::*;
1518

16-
use alloc::alloc::{Layout, alloc, dealloc};
17-
use std::ptr;
18-
1919
/// Sort `v` preserving initial order of equal elements.
2020
///
2121
/// - Guaranteed O(N * log(N)) worst case perf

0 commit comments

Comments
 (0)