Supertypes should not be flexible

2014-06-30 17:41:53 +04:00
parent 0cbbb6a0db
commit b665a1998b
1 changed files with 1 additions and 1 deletions
@@ -47,7 +47,7 @@ class LazyJavaTypeResolver(
                assert(jetType != null, "Primitive type is not found: " + canonicalText)
                return jetType!!
            }
-            is JavaClassifierType -> if (PLATFORM_TYPES)
+            is JavaClassifierType -> if (PLATFORM_TYPES && attr.howThisTypeIsUsed != SUPERTYPE)
                                         LazyFlexibleJavaClassifierType(javaType, attr)
                                     else LazyJavaClassifierType(javaType, attr)
            is JavaArrayType -> transformArrayType(javaType, attr)