whitelist some more methods

diff --git a/src/librustc_mir/interpret/validation.rs b/src/librustc_mir/interpret/validation.rs
index 8d0af524d57aa6b1852d889452cf3148ded025a7..eb8afa56e4fc24fc6d76fc1f4d6e7fc4b78477c2 100644 (file)
--- a/src/librustc_mir/interpret/validation.rs
+++ b/src/librustc_mir/interpret/validation.rs
@@ -46,10 +46,15 @@ pub(crate) fn validation_op(&mut self, op: ValidationOp, operand: &ValidationOpe
 std::mem::uninitialized::|\
 std::ptr::read::|\
 std::panicking::try::do_call::|\
-<std::heap::Heap as std::heap::Alloc>::alloc$|\
+std::slice::from_raw_parts_mut::|\
+<std::heap::Heap as std::heap::Alloc>::|\
 <std::mem::ManuallyDrop<T>><std::heap::AllocErr>::new$|\
+<std::mem::ManuallyDrop<T> as std::ops::DerefMut><std::heap::AllocErr>::deref_mut$|\
 std::sync::atomic::AtomicBool::get_mut$|\
-<std::vec::Vec<T>><[a-zA-Z0-9_]+>::into_boxed_slice$\
+<std::boxed::Box<T>><[a-zA-Z0-9_\\[\\]]+>::from_raw|\
+<[a-zA-Z0-9_:<>]+ as std::slice::SliceIndex<[a-zA-Z0-9_\\[\\]]+>><[a-zA-Z0-9_\\[\\]]+>::get_unchecked_mut$|\
+<alloc::raw_vec::RawVec<T, std::heap::Heap>><[a-zA-Z0-9_\\[\\]]+>::into_box$|\
+<std::vec::Vec<T>><[a-zA-Z0-9_\\[\\]]+>::into_boxed_slice$\
 )").unwrap();
             }
             // Now test