manually clean up leaked Boxes, to enable Miri's leak checker

Author: RalfJung

lib.rs

@@ -2092,19 +2092,27 @@ mod tests {
             }
         }
 
+        // These boxes are leaked on purpose by panicking `insert_many`,
+        // so we clean them up manually to appease Miri's leak checker.
+        let mut box1 = Box::new(false);
+        let mut box2 = Box::new(false);
+
         let mut vec: SmallVec<[PanicOnDoubleDrop; 0]> = vec![
             PanicOnDoubleDrop {
-                dropped: Box::new(false),
+                dropped: unsafe { Box::from_raw(&mut *box1) },
             },
             PanicOnDoubleDrop {
-                dropped: Box::new(false),
+                dropped: unsafe { Box::from_raw(&mut *box2) },
             },
         ]
         .into();
         let result = ::std::panic::catch_unwind(move || {
             vec.insert_many(0, BadIter);
         });
         assert!(result.is_err());
+
+        drop(box1);
+        drop(box2);
     }
 
     #[test]

scripts/run_miri.sh

@@ -16,6 +16,6 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
 
-cargo miri test --verbose -- -Zmiri-ignore-leaks
-cargo miri test --verbose --features union -- -Zmiri-ignore-leaks
-cargo miri test --verbose --all-features -- -Zmiri-ignore-leaks
+cargo miri test --verbose
+cargo miri test --verbose --features union
+cargo miri test --verbose --all-features