-
dimitris authored
canonicalization. We now check whether the returned coercion is an identity coercion. We used to check whether we return any constraints from flattening but that's wrong in the presence of the flattening cache.
b6264a6b
canonicalization. We now check whether the returned coercion is an identity coercion. We used to check whether we return any constraints from flattening but that's wrong in the presence of the flattening cache.