add extract_if test that reproduces UB

Signed-off-by: Petros Angelatos <[email protected]>

Author: petrosagg

src/tools/miri/tests/pass/issues/issue-141032.rs

@@ -0,0 +1,8 @@
+//@compile-flags: -Zmiri-recursive-validation
+
+fn main() {
+    let mut v = vec![Box::new(0u64), Box::new(1u64)];
+    for item in v.extract_if(.., |x| **x == 0) {
+        drop(item);
+    }
+}