Function is_uninit_value_valid_for_ty 

pub fn is_uninit_value_valid_for_ty<'tcx>(
    cx: &LateContext<'tcx>,
    ty: Ty<'tcx>,
) -> bool

Checks if a given type looks safe to be uninitialized.