Function pat_is_not_exhaustive_heuristic 

pub(crate) fn pat_is_not_exhaustive_heuristic(
    pat: &Pat<'_>,
) -> Option<(Span, &'static str)>