Fix incorrect NULLABLE_TYPE_PARAMETER_AGAINST_NOT_NULL_TYPE_PARAMETER

^KT-42257 Fixed
2020-09-29 19:14:33 +03:00
parent d09ccdbe3c
commit fdd71c0bce
7 changed files with 63 additions and 1 deletions
@@ -156,7 +156,13 @@ class JavaNullabilityChecker : AdditionalTypeChecker {
    private fun isNullableTypeAgainstNotNullTypeParameter(
        subType: KotlinType,
        superType: KotlinType
-    ) = superType is NotNullTypeVariable && subType.isNullable()
+    ): Boolean {
+        if (superType !is NotNullTypeVariable) return false
+        return !AbstractNullabilityChecker.isSubtypeOfAny(
+            ClassicTypeCheckerContext(errorTypeEqualsToAnything = true) as AbstractTypeCheckerContext,
+            subType
+        )
+    }

    override fun checkReceiver(
        receiverParameter: ReceiverParameterDescriptor,