fn is_empty_infer(ty: &Ty, pat_span: Span) -> bool