supertype of error type should be an error type, not any

2013-01-10 11:00:53 +04:00
parent 142d9a090c
commit 33a82da493
3 changed files with 32 additions and 0 deletions
@@ -47,6 +47,9 @@ public class CommonSupertypes {
            if (KotlinBuiltIns.getInstance().isNothingOrNullableNothing(type)) {
                iterator.remove();
            }
+            if (ErrorUtils.isErrorType(type)) {
+                return ErrorUtils.createErrorType("Supertype of error type " + type);
+            }
            nullable |= type.isNullable();
        }