I think it is. This ensures that PLATFORM_CLASS_MAPPED_TO_KOTLIN errors talking about a different platform class is not "fixed" as well.