product codes
regression testdata added
unused library: ignore module dependencies if scope is not big enough
accept boxing conversion to intersection type (IDEA-129143)