fn type_is_unresolvable(ty: &Type) -> Result<bool, Error>