TypeUtils.containsSpecialType() fixed to account for flexible types
++ Assertions on approximation of platform types to non-null types
Unit obtained through a generic substitution should not be mapped to VOID
++ !!! Temporary fix: recursion depth in CommonSupertypes is bounded by maxDepth + 3
Fix JetType.equals(): flexible types are not equal to non-flexible ones, when we store them in a HashSet
++ !!! Temporary fix: recursion depth in CommonSupertypes is bounded by maxDepth + 3
++ Approximating flexible types in descriptor renderer
 ++ All JetType subinterfaces migrated to capabilities
 ++ All JetType subinterfaces migrated to capabilities
 ++ All JetType subinterfaces migrated to capabilities
++ Assertions on approximation of platform types to non-null types
++ Approximating flexible types in descriptor renderer
++ equals fixed
IDE TypeUtils moved to idea-analysis
RemoveExplicitTypeArguments fixed: platform types approximated before comparison
++ equals on types