fn span_of_infer(ty: &Ty<'_>) -> Option<Span>