[NI] Use correct type in TypeApproximator for Invariant projection

2017-06-20 15:54:07 +03:00
parent 85e34163bb
commit 4848f8e3da
1 changed files with 2 additions and 1 deletions
@@ -328,7 +328,8 @@ class TypeApproximator {
                        // Inv<Foo!> is supertype for Inv<Foo?>
                        if (!NewKotlinTypeChecker.equalTypes(argumentType, toSubType)) return type.defaultResult(toSuper)

-                        newArguments[index] = argumentType.asTypeProjection()
+                        // also Captured(out Nothing) = Nothing
+                        newArguments[index] = toSubType.asTypeProjection()
                        continue@loop
                    }