the formatting issue got fixed

Author: RalfJung

src/libcore/tests/fmt/builders.rs

@@ -488,6 +488,7 @@ mod debug_list {
 }
 
 #[test]
+#[cfg(not(miri))] // FIXME uses code in liballoc, investigate Stacked Borrows failure
 fn test_formatting_parameters_are_forwarded() {
     use std::collections::{BTreeMap, BTreeSet};
     #[derive(Debug)]

src/libcore/tests/fmt/mod.rs

@@ -1,10 +1,9 @@
-#![cfg(not(miri))] // FIXME: A bug in Miri breaks padding in string formatting
-
 mod builders;
 mod float;
 mod num;
 
 #[test]
+#[cfg(not(miri))] // Miri cannot print pointers
 fn test_format_flags() {
     // No residual flags left by pointer formatting
     let p = "".as_ptr();
@@ -14,6 +13,7 @@ fn test_format_flags() {
 }
 
 #[test]
+#[cfg(not(miri))] // Miri cannot print pointers
 fn test_pointer_formats_data_pointer() {
     let b: &[u8] = b"";
     let s: &str = "";

src/libcore/tests/time.rs

@@ -287,7 +287,6 @@ fn debug_formatting_precision_two() {
 }
 
 #[test]
-#[cfg(not(miri))] // FIXME: A bug in Miri breaks padding in string formatting
 fn debug_formatting_precision_high() {
     assert_eq!(format!("{:.5?}",  Duration::new(0, 23_678)), "23.67800µs");