Function is_maybe_uninit_ty 

pub fn is_maybe_uninit_ty(ty: Ty<'_>) -> bool

Whether ty (peeling through & / *mut / *const / [T] / [T; N]) is MaybeUninit<...>, i.e. carries no validity invariant (any bit pattern is a valid value). Shared by the VM (init_parameters) and the Typed checker.