Renaming of existing types turned out to be too complicated because the code depends on checker.typeToString, and there is no way that I know of that would allow renaming of an existing type.
Renaming of existing types turned out to be too complicated because the code depends on checker.typeToString, and there is no way that I know of that would allow renaming of an existing type.