Function pat_is_not_exhaustive_heuristic 

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