-
Kim Nguyễn authored
to detect that we have the most precise solution * Apply clean_type more agressively but on smaller types, for each of the partial solutions rather than on the (big) intersection of all the solutions. * Small optimisation in substitutefree: do not do anything if the type has no variables
55741cc8