pub fn is_empty_type(resolve: &Resolve, ty: &Type) -> bool