Function is_uninit_value_valid_for_ty_fallback 

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

A fallback for polymorphic types, which are not supported by check_validity_requirement.