WIP
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
index ffbac4b..357d7f3 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
@@ -27018,6 +27018,18 @@
}
@Test
+ @TestMetadata("kt55705.kt")
+ public void testKt55705() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt");
+ }
+
+ @Test
+ @TestMetadata("kt55705Initial.kt")
+ public void testKt55705Initial() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt");
+ }
+
+ @Test
@TestMetadata("numberOfDefaults.kt")
public void testNumberOfDefaults() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/numberOfDefaults.kt");
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
index 60ff43a..e579d39 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
@@ -27030,6 +27030,18 @@
}
@Test
+ @TestMetadata("kt55705.kt")
+ public void testKt55705() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt");
+ }
+
+ @Test
+ @TestMetadata("kt55705Initial.kt")
+ public void testKt55705Initial() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt");
+ }
+
+ @Test
@TestMetadata("numberOfDefaults.kt")
public void testNumberOfDefaults() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/numberOfDefaults.kt");
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
index 0592294..2d7a051 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
@@ -27018,6 +27018,18 @@
}
@Test
+ @TestMetadata("kt55705.kt")
+ public void testKt55705() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt");
+ }
+
+ @Test
+ @TestMetadata("kt55705Initial.kt")
+ public void testKt55705Initial() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt");
+ }
+
+ @Test
@TestMetadata("numberOfDefaults.kt")
public void testNumberOfDefaults() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/numberOfDefaults.kt");
diff --git a/compiler/fir/entrypoint/src/org/jetbrains/kotlin/fir/session/JsConeConflictResolverFactory.kt b/compiler/fir/entrypoint/src/org/jetbrains/kotlin/fir/session/JsConeConflictResolverFactory.kt
index 437bce6..b726f74 100644
--- a/compiler/fir/entrypoint/src/org/jetbrains/kotlin/fir/session/JsConeConflictResolverFactory.kt
+++ b/compiler/fir/entrypoint/src/org/jetbrains/kotlin/fir/session/JsConeConflictResolverFactory.kt
@@ -7,10 +7,7 @@
import org.jetbrains.kotlin.fir.NoMutableState
import org.jetbrains.kotlin.fir.resolve.BodyResolveComponents
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCallConflictResolverFactory
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCompositeConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeIntegerOperatorConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeOverloadConflictResolver
+import org.jetbrains.kotlin.fir.resolve.calls.*
import org.jetbrains.kotlin.fir.resolve.calls.jvm.ConeEquivalentCallConflictResolver
import org.jetbrains.kotlin.fir.resolve.inference.InferenceComponents
import org.jetbrains.kotlin.fir.types.typeContext
@@ -27,6 +24,7 @@
val specificityComparator = JsTypeSpecificityComparatorWithoutDelegate(components.session.typeContext)
return ConeCompositeConflictResolver(
ConeOverloadConflictResolver(specificityComparator, components, transformerComponents),
+ FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver,
ConeEquivalentCallConflictResolver(specificityComparator, components, transformerComponents),
ConeIntegerOperatorConflictResolver(specificityComparator, components, transformerComponents)
)
diff --git a/compiler/fir/java/src/org/jetbrains/kotlin/fir/resolve/calls/jvm/JvmCallConflictResolverFactory.kt b/compiler/fir/java/src/org/jetbrains/kotlin/fir/resolve/calls/jvm/JvmCallConflictResolverFactory.kt
index 9fcfe13..9a3a5fc 100644
--- a/compiler/fir/java/src/org/jetbrains/kotlin/fir/resolve/calls/jvm/JvmCallConflictResolverFactory.kt
+++ b/compiler/fir/java/src/org/jetbrains/kotlin/fir/resolve/calls/jvm/JvmCallConflictResolverFactory.kt
@@ -7,12 +7,8 @@
import org.jetbrains.kotlin.fir.NoMutableState
import org.jetbrains.kotlin.fir.resolve.BodyResolveComponents
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCallConflictResolverFactory
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCompositeConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeIntegerOperatorConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeOverloadConflictResolver
+import org.jetbrains.kotlin.fir.resolve.calls.*
import org.jetbrains.kotlin.fir.resolve.inference.InferenceComponents
-import org.jetbrains.kotlin.fir.resolve.transformers.body.resolve.FirAbstractBodyResolveTransformer
import org.jetbrains.kotlin.fir.types.typeContext
import org.jetbrains.kotlin.resolve.calls.results.TypeSpecificityComparator
import org.jetbrains.kotlin.resolve.jvm.JvmTypeSpecificityComparator
@@ -27,6 +23,7 @@
val specificityComparator = JvmTypeSpecificityComparator(components.session.typeContext)
return ConeCompositeConflictResolver(
ConeOverloadConflictResolver(specificityComparator, components, transformerComponents),
+ FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver,
ConeEquivalentCallConflictResolver(specificityComparator, components, transformerComponents),
JvmPlatformOverloadsConflictResolver(specificityComparator, components, transformerComponents),
ConeIntegerOperatorConflictResolver(specificityComparator, components, transformerComponents)
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/Candidate.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/Candidate.kt
index 70cadc7..2ae57e0 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/Candidate.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/Candidate.kt
@@ -37,7 +37,9 @@
override val callInfo: CallInfo,
val originScope: FirScope?,
val importedQualifierForStatic: FirExpression? = null,
- val isFromCompanionObjectTypeScope: Boolean = false
+ val isFromCompanionObjectTypeScope: Boolean = false,
+ // It's only true if we're in the member scope of smart cast receiver and this particular candidate came from original type
+ val isFromOriginalTypeInPresenceOfSmartCast: Boolean = false,
) : AbstractCandidate() {
var systemInitialized: Boolean = false
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CandidateFactory.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CandidateFactory.kt
index b7147b9..f5ab5d8 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CandidateFactory.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CandidateFactory.kt
@@ -51,7 +51,8 @@
dispatchReceiverValue: ReceiverValue? = null,
importedQualifierForStatic: FirExpression? = null,
givenExtensionReceiverOptions: List<ReceiverValue> = emptyList(),
- objectsByName: Boolean = false
+ objectsByName: Boolean = false,
+ isFromOriginalTypeInPresenceOfSmartCast: Boolean = false,
): Candidate {
@Suppress("NAME_SHADOWING")
val symbol = symbol.unwrapIntegerOperatorSymbolIfNeeded(callInfo)
@@ -72,7 +73,8 @@
ExplicitReceiverKind.DISPATCH_RECEIVER -> dispatchReceiverValue.isCandidateFromCompanionObjectTypeScope()
// The following cases are not applicable for companion objects.
ExplicitReceiverKind.NO_EXPLICIT_RECEIVER, ExplicitReceiverKind.BOTH_RECEIVERS -> false
- }
+ },
+ isFromOriginalTypeInPresenceOfSmartCast,
)
// The counterpart in FE 1.0 checks if the given descriptor is VariableDescriptor yet not PropertyDescriptor.
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver.kt
new file mode 100644
index 0000000..d409973
--- /dev/null
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver.kt
@@ -0,0 +1,21 @@
+/*
+ * Copyright 2010-2022 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.fir.resolve.calls
+
+object FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver : ConeCallConflictResolver() {
+ override fun chooseMaximallySpecificCandidates(
+ candidates: Set<Candidate>,
+ discriminateGenerics: Boolean,
+ discriminateAbstracts: Boolean
+ ): Set<Candidate> {
+ val (originalIfSmartCastPresent, other) = candidates.partition { it.isFromOriginalTypeInPresenceOfSmartCast }
+
+ // If we have both successful candidates from smart cast and original, use the former one as they might have more correct return type
+ if (originalIfSmartCastPresent.isNotEmpty() && other.isNotEmpty()) return other.toSet()
+
+ return candidates
+ }
+}
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevelHandler.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevelHandler.kt
index f6e0d20..eaf5aa8 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevelHandler.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevelHandler.kt
@@ -78,7 +78,8 @@
importedQualifierForStatic: FirExpression?,
givenExtensionReceiverOptions: List<ReceiverValue>,
scope: FirScope,
- objectsByName: Boolean
+ objectsByName: Boolean,
+ isFromOriginalTypeInPresenceOfSmartCast: Boolean
) {
resultCollector.consumeCandidate(
group, candidateFactory.createCandidate(
@@ -89,7 +90,8 @@
dispatchReceiverValue,
importedQualifierForStatic,
givenExtensionReceiverOptions,
- objectsByName
+ objectsByName,
+ isFromOriginalTypeInPresenceOfSmartCast
), candidateFactory.context
)
}
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt
index d3c115f..047719e 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt
@@ -60,7 +60,8 @@
importedQualifierForStatic: FirExpression?,
givenExtensionReceiverOptions: List<ReceiverValue>,
scope: FirScope,
- objectsByName: Boolean = false
+ objectsByName: Boolean = false,
+ isFromOriginalTypeInPresenceOfSmartCast: Boolean = false,
)
}
}
@@ -161,12 +162,17 @@
candidatesFromSmartcast.forEach { put(it, true) }
}
+
+ val candidates = mutableListOf<MemberWithBaseScope<T>>()
+
+ // The code below is assumed to be for sake of optimization only.
+ // It helps to avoid creating candidates both for some member in the original type and for its override in the smart cast
+ // when they are both visible.
+ // But semantically it should be OK to declare `val candidates` as `candidatesMapping.keys.toList()`
val overridableGroups = session.overrideService.createOverridableGroups(
candidatesFromOriginalType + candidatesFromSmartcast,
FirIntersectionScopeOverrideChecker(session)
)
-
- val candidates = mutableListOf<MemberWithBaseScope<T>>()
for (group in overridableGroups) {
val visibleCandidates = group.filter {
visibilityChecker.isVisible(it.member.fir, callInfo, dispatchReceiverValue, importedQualifierForStatic = null)
@@ -175,7 +181,8 @@
val visibleCandidatesFromSmartcast = visibleCandidates.filter { candidatesMapping.getValue(it) }
candidates += visibleCandidatesFromSmartcast.ifEmpty { group }
}
- consumeCandidates(output, candidates)
+
+ consumeCandidates(output, candidates, candidatesMapping)
}
private fun <T : FirCallableSymbol<*>> FirTypeScope.collectCandidates(
@@ -198,16 +205,22 @@
private fun <T : FirCallableSymbol<*>> consumeCandidates(
output: TowerScopeLevelProcessor<T>,
- candidatesWithScope: List<MemberWithBaseScope<T>>
+ candidatesWithScope: List<MemberWithBaseScope<T>>,
+ // The map is not null only if there's a smart cast type on a dispatch receiver
+ // and candidates are present both in smart cast and original types.
+ // isFromSmartCast[candidate] == true iff exactly that member is present in smart cast type
+ isFromSmartCast: Map<MemberWithBaseScope<T>, Boolean>? = null
) {
- for ((candidate, scope) in candidatesWithScope) {
+ for (candidateWithScope in candidatesWithScope) {
+ val (candidate, scope) = candidateWithScope
if (candidate.hasConsistentExtensionReceiver(givenExtensionReceiverOptions)) {
output.consumeCandidate(
candidate,
dispatchReceiverValue,
importedQualifierForStatic = null,
givenExtensionReceiverOptions,
- scope
+ scope,
+ isFromOriginalTypeInPresenceOfSmartCast = isFromSmartCast != null && !isFromSmartCast.getValue(candidateWithScope)
)
}
}
diff --git a/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt
new file mode 100644
index 0000000..4b5f8f8
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt
@@ -0,0 +1,16 @@
+// FIR_IDENTICAL
+// SKIP_TXT
+
+interface A<T> {
+ fun foo(x: T?) {}
+}
+
+interface B : A<String> {
+ override fun foo(x: String?)
+}
+
+fun <T> bar(x: A<in T>, t: String?) {
+ if (x is B) {
+ x.foo(null) // Ok in K1, was OVERLOAD_RESOLUTION_AMBIGUITY in K2
+ }
+}
diff --git a/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt
new file mode 100644
index 0000000..52242f4
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt
@@ -0,0 +1,12 @@
+// FIR_IDENTICAL
+// SKIP_TXT
+
+interface MyConsumer<T> {
+ fun consume(x: T) {}
+}
+
+fun foo(x: MyConsumer<in CharSequence>?, v: CharSequence) {
+ if (x != null) {
+ x.consume(v)
+ }
+}
diff --git a/compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/maps.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/maps.fir.kt
index c391575..509ac92 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/maps.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/maps.fir.kt
@@ -1,80 +1,8 @@
-// !DIAGNOSTICS: -UNUSED_VARIABLE
-// FULL_JDK
+fun case_18(a: String?, b: Boolean) {
+ val x = null
+ val y = null
-import java.util.*
-import java.util.concurrent.*
-
-fun bar(): String? = null
-val nullableInt: Int? = null
-
-fun hashMapTest() {
- var x: HashMap<String, Int> = HashMap<String, Int>()
- x.put(<!NULL_FOR_NONNULL_TYPE!>null<!>, <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put("", <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put(<!ARGUMENT_TYPE_MISMATCH!>bar()<!>, 1)
- x.put("", 1)
-
- x[<!NULL_FOR_NONNULL_TYPE!>null<!>] = 1
- x[<!ARGUMENT_TYPE_MISMATCH!>bar()<!>] = 1
- x[""] = <!ARGUMENT_TYPE_MISMATCH!>nullableInt<!>
- x[""] = 1
-
- val b1: MutableMap<String, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b2: MutableMap<String, Int> = x
- val b3: Map<String?, Int> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b4: Map<String?, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b5: Map<String, Int?> = x
-
- val b6: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x[""]<!>
- val b7: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x.get("")<!>
-
- val b8: Int? = x.get("")
-}
-
-fun treeMapTest() {
- var x: TreeMap<String, Int> = TreeMap<String, Int>()
- x.put(<!NULL_FOR_NONNULL_TYPE!>null<!>, <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put("", <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put(<!ARGUMENT_TYPE_MISMATCH!>bar()<!>, 1)
- x.put("", 1)
-
- x[<!NULL_FOR_NONNULL_TYPE!>null<!>] = 1
- x[<!ARGUMENT_TYPE_MISMATCH!>bar()<!>] = 1
- x[""] = <!ARGUMENT_TYPE_MISMATCH!>nullableInt<!>
- x[""] = 1
-
- val b1: MutableMap<String, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b2: MutableMap<String, Int> = x
- val b3: Map<String?, Int> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b4: Map<String?, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b5: Map<String, Int?> = x
-
- val b6: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x[""]<!>
- val b7: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x.get("")<!>
-
- val b8: Int? = x.get("")
-}
-
-fun concurrentHashMapTest() {
- var x: ConcurrentHashMap<String, Int> = ConcurrentHashMap<String, Int>()
- x.put(<!NULL_FOR_NONNULL_TYPE!>null<!>, <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put("", <!NULL_FOR_NONNULL_TYPE!>null<!>)
- x.put(<!ARGUMENT_TYPE_MISMATCH!>bar()<!>, 1)
- x.put("", 1)
-
- x[<!NULL_FOR_NONNULL_TYPE!>null<!>] = 1
- x[<!ARGUMENT_TYPE_MISMATCH!>bar()<!>] = 1
- x[""] = <!ARGUMENT_TYPE_MISMATCH!>nullableInt<!>
- x[""] = 1
-
- val b1: MutableMap<String, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b2: MutableMap<String, Int> = x
- val b3: Map<String?, Int> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b4: Map<String?, Int?> = <!INITIALIZER_TYPE_MISMATCH!>x<!>
- val b5: Map<String, Int?> = x
-
- val b6: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x[""]<!>
- val b7: Int = <!INITIALIZER_TYPE_MISMATCH, TYPE_MISMATCH!>x.get("")<!>
-
- val b8: Int? = x.get("")
+ if (a != (if (b) x else y)) {
+ <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>
+ }
}
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
index 5cbe20f..8ee39b1 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
@@ -27030,6 +27030,18 @@
}
@Test
+ @TestMetadata("kt55705.kt")
+ public void testKt55705() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705.kt");
+ }
+
+ @Test
+ @TestMetadata("kt55705Initial.kt")
+ public void testKt55705Initial() throws Exception {
+ runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt55705Initial.kt");
+ }
+
+ @Test
@TestMetadata("numberOfDefaults.kt")
public void testNumberOfDefaults() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/overloadConflicts/numberOfDefaults.kt");
diff --git a/compiler/tests-common-new/tests/org/jetbrains/kotlin/test/frontend/fir/NativeCallConflictResolverFactory.kt b/compiler/tests-common-new/tests/org/jetbrains/kotlin/test/frontend/fir/NativeCallConflictResolverFactory.kt
index 2a52ad2..8456dad 100644
--- a/compiler/tests-common-new/tests/org/jetbrains/kotlin/test/frontend/fir/NativeCallConflictResolverFactory.kt
+++ b/compiler/tests-common-new/tests/org/jetbrains/kotlin/test/frontend/fir/NativeCallConflictResolverFactory.kt
@@ -6,10 +6,7 @@
package org.jetbrains.kotlin.test.frontend.fir
import org.jetbrains.kotlin.fir.resolve.BodyResolveComponents
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCallConflictResolverFactory
-import org.jetbrains.kotlin.fir.resolve.calls.ConeCompositeConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeIntegerOperatorConflictResolver
-import org.jetbrains.kotlin.fir.resolve.calls.ConeOverloadConflictResolver
+import org.jetbrains.kotlin.fir.resolve.calls.*
import org.jetbrains.kotlin.fir.resolve.calls.jvm.ConeEquivalentCallConflictResolver
import org.jetbrains.kotlin.fir.resolve.inference.InferenceComponents
import org.jetbrains.kotlin.resolve.calls.results.TypeSpecificityComparator
@@ -23,6 +20,7 @@
val specificityComparator = TypeSpecificityComparator.NONE
return ConeCompositeConflictResolver(
ConeOverloadConflictResolver(specificityComparator, components, transformerComponents),
+ FilteringOutOriginalInPresenceOfSmartCastConeCallConflictResolver,
ConeEquivalentCallConflictResolver(specificityComparator, components, transformerComponents),
ConeIntegerOperatorConflictResolver(specificityComparator, components, transformerComponents)
)
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.fir.kt
index 59f74a6..509ac92 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.fir.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.fir.kt
@@ -1,1415 +1,8 @@
-// !DIAGNOSTICS: -UNUSED_EXPRESSION -UNUSED_VARIABLE -UNREACHABLE_CODE -CAN_BE_VAL
-// SKIP_TXT
-// WITH_EXTENDED_CHECKERS
-
-// FILE: other_types.kt
-
-package othertypes
-
-// TESTCASE NUMBER: 12, 48
-class EmptyClass12_48 {}
-
-// FILE: main.kt
-
-import othertypes.*
-
-// TESTCASE NUMBER: 1
-fun case_1(x: Any?) {
- val y = null
- if (x != y) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Any")!>x<!>.funNullableAny()
- }
-}
-
-/*
- * TESTCASE NUMBER: 2
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28159
- */
-fun case_2(x: Nothing?) {
- val y = null
- if (<!SENSELESS_COMPARISON!>x !== y<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 3
-fun case_3() {
- val y = null
-
- if (Object.prop_1 == y)
- else {
- Object.prop_1
- Object.prop_1.equals(null)
- Object.prop_1.propT
- Object.prop_1.propAny
- Object.prop_1.propNullableT
- Object.prop_1.propNullableAny
- Object.prop_1.funT()
- Object.prop_1.funAny()
- Object.prop_1.funNullableT()
- Object.prop_1.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 4
-fun case_4(x: Char?, y: Nothing?) {
- if (x != y && true) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Char")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 5
-fun case_5() {
- val x: Unit? = null
- val y: Nothing? = null
-
- if (x !== y) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit? & kotlin.Unit")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 6
-fun case_6(x: EmptyClass?, z: Nothing?) {
- val y = true
-
- if (x != z && !y) {
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & EmptyClass")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 7
-fun case_7(x: EmptyObject?) {
- val y = null
-
- if (x != y || <!SENSELESS_COMPARISON!><!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject? & kotlin.Nothing?")!>x<!> != y<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject?")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 8
-fun case_8(x: TypealiasNullableString) {
- val y = null
-
- if (x !== y && <!SENSELESS_COMPARISON!><!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!> != y<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 9
-fun case_9(x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>, y: Nothing?) {
- if (x === y) {
-
- } else if (false) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.String")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 10
-fun case_10() {
- val a = Class()
- val b = null
-
- if (a.prop_4 === b || true) {
- if (a.prop_4 != null) {
- a.prop_4
- a.prop_4.equals(null)
- a.prop_4.propT
- a.prop_4.propAny
- a.prop_4.propNullableT
- a.prop_4.propNullableAny
- a.prop_4.funT()
- a.prop_4.funAny()
- a.prop_4.funNullableT()
- a.prop_4.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 11
-fun case_11(x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>, y: TypealiasNullableString) {
- val z = null
- val u: TypealiasNullableString = null
- val v = null
-
- if (x == z && <!SENSELESS_COMPARISON!>x == v<!>) {
-
- } else {
- if (y != z) {
- if (nullableStringProperty == z) {
- if (u != z || <!SENSELESS_COMPARISON!>u != v<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funNullableAny()
- }
- }
- }
- }
-}
-
-// TESTCASE NUMBER: 12
-fun case_12(x: TypealiasNullableString, y: TypealiasNullableString, z1: Nothing?, z2: Nothing?) = if (x == z1 || <!SENSELESS_COMPARISON!>x == z2<!>) "1"
- else if (y === z1 && <!SENSELESS_COMPARISON!>y == z2<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableAny()
- } else "-1"
-
-// TESTCASE NUMBER: 13
-fun case_13(x: EmptyClass12_48?, z: Nothing?) =
- if (x == z || <!SENSELESS_COMPARISON!>x === z<!> && <!SENSELESS_COMPARISON!>x == z<!>) {
- throw Exception()
- } else {
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48? & othertypes.EmptyClass12_48")!>x<!>.funNullableAny()
- }
-
-// TESTCASE NUMBER: 14
-class Case14 {
- val x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>
- init {
- x = TypealiasNullableString()
- }
-}
-
-fun case_14() {
- val a = Case14()
- val x = null
- val y = implicitNullableNothingProperty
-
- if (a.x != x && <!SENSELESS_COMPARISON!>a.x != y<!> || a.x != y && <!SENSELESS_COMPARISON!>a.x !== null<!>) {
- a.x
- a.x.equals(null)
- a.x.propT
- a.x.propAny
- a.x.propNullableT
- a.x.propNullableAny
- a.x.funT()
- a.x.funAny()
- a.x.funNullableT()
- a.x.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 15
-fun case_15(x: TypealiasNullableString) {
- val y = null
- val z = if (x === null || <!SENSELESS_COMPARISON!>y == x<!> && <!SENSELESS_COMPARISON!>x === y<!> || <!SENSELESS_COMPARISON!>null === x<!>) "" else {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.String")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 16
-fun case_16() {
- val x: TypealiasNullableNothing = null
- val y: Nothing? = null
-
- if (x !== y) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableNothing & kotlin.Nothing")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableNothing & kotlin.Nothing")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 17
-val case_17 = if (nullableIntProperty === implicitNullableNothingProperty) 0 else {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>nullableIntProperty<!>.funNullableAny()
-}
-
-/*
- * TESTCASE NUMBER: 18
- * ISSUES: KT-35668
- */
-fun case_18(a: DeepObject.A.B.C.D.E.F.G.J?, b: Boolean) {
+fun case_18(a: String?, b: Boolean) {
val x = null
val y = null
- if (a != (if (b) x else y) || <!SENSELESS_COMPARISON!>x !== a<!>) {
+ if (a != (if (b) x else y)) {
<!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funNullableAny()
}
}
-
-// TESTCASE NUMBER: 19
-fun case_19(b: Boolean) {
- val z = null
- val a = if (b) {
- object {
- val B19 = if (b) {
- object {
- val C19 = if (b) {
- object {
- val D19 = if (b) {
- object {
- val x: Number? = 10
- }
- } else z
- }
- } else z
- }
- } else z
- }
- } else z
-
- if (a != z && a.B19 !== z && a.B19.C19 != z && a.B19.C19.D19 != z && a.B19.C19.D19.x !== z) {
- a.B19.C19.D19.x
- a.B19.C19.D19.x.equals(null)
- a.B19.C19.D19.x.propT
- a.B19.C19.D19.x.propAny
- a.B19.C19.D19.x.propNullableT
- a.B19.C19.D19.x.propNullableAny
- a.B19.C19.D19.x.funT()
- a.B19.C19.D19.x.funAny()
- a.B19.C19.D19.x.funNullableT()
- a.B19.C19.D19.x.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 20
-fun case_20(x: Boolean, y: Nothing?) {
- val z = object {
- val B19 = object {
- val C19 = object {
- val D19 = if (x) {
- object {}
- } else y
- }
- }
- }
-
- if (z.B19.C19.D19 !== y) {
- z.B19.C19.D19
- z.B19.C19.D19.equals(null)
- z.B19.C19.D19.propT
- z.B19.C19.D19.propAny
- z.B19.C19.D19.propNullableT
- z.B19.C19.D19.propNullableAny
- z.B19.C19.D19.funT()
- z.B19.C19.D19.funAny()
- z.B19.C19.D19.funNullableT()
- z.B19.C19.D19.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 21
-fun case_21() {
- if (EnumClassWithNullableProperty.A.prop_1 !== implicitNullableNothingProperty) {
- EnumClassWithNullableProperty.A.prop_1
- EnumClassWithNullableProperty.A.prop_1.equals(null)
- EnumClassWithNullableProperty.A.prop_1.propT
- EnumClassWithNullableProperty.A.prop_1.propAny
- EnumClassWithNullableProperty.A.prop_1.propNullableT
- EnumClassWithNullableProperty.A.prop_1.propNullableAny
- EnumClassWithNullableProperty.A.prop_1.funT()
- EnumClassWithNullableProperty.A.prop_1.funAny()
- EnumClassWithNullableProperty.A.prop_1.funNullableT()
- EnumClassWithNullableProperty.A.prop_1.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 22
-fun case_22(a: (() -> Unit)?) {
- if (a != implicitNullableNothingProperty) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit")!>a()<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>a<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 23
-fun case_23(a: ((Float) -> Int?)?, b: Float?, z: Nothing?) {
- if (a != z && b !== z && <!SENSELESS_COMPARISON!>b !== z<!>) {
- val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>a(<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Float? & kotlin.Float")!>b<!>)<!>
- if (x != z || <!SENSELESS_COMPARISON!>x !== implicitNullableNothingProperty<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 24
-fun case_24(a: ((() -> Unit) -> Unit)?, b: (() -> Unit)?, z: Nothing?) =
- if (a !== z && b !== z) {
- a(<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>? & kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>")!>a<!>.funNullableAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>? & kotlin.Function0<kotlin.Unit>")!>b<!>.funNullableAny()
- } else z
-
-// TESTCASE NUMBER: 25
-fun case_25(b: Boolean, z: Nothing?) {
- val x = {
- if (b) object {
- val a = 10
- } else z
- }
-
- val y = if (b) x else z
-
- if (y !== z || <!SENSELESS_COMPARISON!>y != implicitNullableNothingProperty<!>) {
- val z1 = <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!><!UNSAFE_IMPLICIT_INVOKE_CALL!>y<!>()<!>
-
- if (z1 != z && <!SENSELESS_COMPARISON!>implicitNullableNothingProperty !== z1<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.a
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & <anonymous>")!>z1<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 26
-fun case_26(a: ((Float) -> Int?)?, b: Float?) {
- var z = null
-
- if (a != z == true && b != implicitNullableNothingProperty == true) {
- val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>a(<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Float? & kotlin.Float")!>b<!>)<!>
- if (x != implicitNullableNothingProperty == true || <!SENSELESS_COMPARISON!>z !== x<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int? & kotlin.Int")!>x<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 27
-fun case_27(z: Nothing?) {
- if (Object.prop_1 == z == true == true == true == true == true == true == true == true == true == true == true == true == true == true)
- else {
- Object.prop_1
- Object.prop_1.equals(null)
- Object.prop_1.propT
- Object.prop_1.propAny
- Object.prop_1.propNullableT
- Object.prop_1.propNullableAny
- Object.prop_1.funT()
- Object.prop_1.funAny()
- Object.prop_1.funNullableT()
- Object.prop_1.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 28
-fun case_28(a: DeepObject.A.B.C.D.E.F.G.J?) =
- if (a != implicitNullableNothingProperty == true == false == false == false == true == false == true == false == false == true == true) {
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.x
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & DeepObject.A.B.C.D.E.F.G.J")!>a<!>.funNullableAny()
- } else -1
-
-/*
- * TESTCASE NUMBER: 29
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28328, KT-28329
- */
-fun case_29(x: Boolean) {
- val v = null
- val z = {
- if (x) object {
- val a = 10
- } else null
- }
-
- val y = if (x) z else null
-
- if (false || false || false || false || y !== v) {
- val t = <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!><!UNSAFE_IMPLICIT_INVOKE_CALL!>y<!>()<!>
-
- if (<!EQUALITY_NOT_APPLICABLE_WARNING!>z !== t<!> || false) {
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!><!UNSAFE_CALL!>.<!>a
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>t<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 30
-fun case_30(a: ((Float) -> Int?)?, b: Float?) {
- if (implicitNullableNothingProperty != a == true && b != implicitNullableNothingProperty == true || false || false || false || false || false || false || false || false || false) {
- val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!><!UNSAFE_IMPLICIT_INVOKE_CALL!>a<!>(<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Float?")!>b<!>)<!>
- if (false || implicitNullableNothingProperty != x == true) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 31
-fun case_31(z1: Boolean?, z: Nothing?) {
- if (false || EnumClassWithNullableProperty.A.prop_1 != z && z1 !== z && z1) {
- EnumClassWithNullableProperty.A.prop_1
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>equals(null)
- EnumClassWithNullableProperty.A.prop_1.propT
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>propAny
- EnumClassWithNullableProperty.A.prop_1.propNullableT
- EnumClassWithNullableProperty.A.prop_1.propNullableAny
- EnumClassWithNullableProperty.A.prop_1.funT()
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>funAny()
- EnumClassWithNullableProperty.A.prop_1.funNullableT()
- EnumClassWithNullableProperty.A.prop_1.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 32
-fun case_32(a: DeepObject.A.B.C.D.E.F.G.J?) =
- if (a == implicitNullableNothingProperty == true == false == false == false == true == false == true == false == false == true == true && true) {
- -1
- } else {
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!><!UNSAFE_CALL!>.<!>x
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.funNullableAny()
- }
-
-// TESTCASE NUMBER: 33
-fun case_33(a: ((Float) -> Int?)?, b: Float?, c: Boolean?) {
- var z = null
-
- if (true && a == z == true || b == null == true) {
-
- } else {
- val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!><!UNSAFE_IMPLICIT_INVOKE_CALL!>a<!>(<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Float? & kotlin.Float")!>b<!>)<!>
- if (x == z == true && <!SENSELESS_COMPARISON!>x === z<!> || (c != z && !c)) {
-
- } else {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>x<!>.funNullableAny()
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 34
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28329
- */
-fun case_34(z1: Boolean?) {
- var z = null
-
- if (true && true && true && true && EnumClassWithNullableProperty.A.prop_1 != implicitNullableNothingProperty && <!SENSELESS_COMPARISON!>EnumClassWithNullableProperty.A.prop_1 !== null<!> && <!SENSELESS_COMPARISON!>EnumClassWithNullableProperty.A.prop_1 !== z<!> || z1 != implicitNullableNothingProperty || z1!! && true && true) {
-
- } else {
- EnumClassWithNullableProperty.A.prop_1
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>equals(null)
- EnumClassWithNullableProperty.A.prop_1.propT
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>propAny
- EnumClassWithNullableProperty.A.prop_1.propNullableT
- EnumClassWithNullableProperty.A.prop_1.propNullableAny
- EnumClassWithNullableProperty.A.prop_1.funT()
- EnumClassWithNullableProperty.A.prop_1<!UNSAFE_CALL!>.<!>funAny()
- EnumClassWithNullableProperty.A.prop_1.funNullableT()
- EnumClassWithNullableProperty.A.prop_1.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 35
-fun case_35(a: DeepObject.A.B.C.D.E.F.G.J?) {
- val itest = false
-
- if (true && a != implicitNullableNothingProperty && <!SENSELESS_COMPARISON!>a !== implicitNullableNothingProperty<!> || itest || !itest || true || !true) {
-
- } else {
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J?")!>a<!>.hashCode()
- }
-}
-
-/*
- * TESTCASE NUMBER: 36
- * UNEXPECTED BEHAVIOUR
- */
-fun case_36(x: Any) {
- var z = null
-
- if (<!SENSELESS_COMPARISON!>x == z<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any & kotlin.Nothing")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any & kotlin.Nothing")!>x<!>.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>java<!>
- }
-}
-
-// TESTCASE NUMBER: 37
-fun case_37(x: Nothing?, y: Nothing?) {
- if (<!SENSELESS_COMPARISON!>x == y<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing?")!>x<!>.hashCode()
- }
-}
-
-/*
- * TESTCASE NUMBER: 38
- * UNEXPECTED BEHAVIOUR
- */
-fun case_38() {
- val z = null
-
- <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>if (<!SENSELESS_COMPARISON!>Object.prop_2 != z<!>)
- else {
- Object.prop_2
- Object.prop_2.java
- }<!>
-}
-
-// TESTCASE NUMBER: 39
-fun case_39(x: Char?) {
- if (x == implicitNullableNothingProperty && true) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Char? & kotlin.Nothing?")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 40
-fun case_40() {
- val x: Unit? = null
- var z = null
-
- if (x == implicitNullableNothingProperty || <!SENSELESS_COMPARISON!>z === x<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Unit?")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 41
-fun case_41(x: EmptyClass?, z: Nothing?) {
- val y = true
-
- if (x === z && !y) {
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyClass? & kotlin.Nothing?")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 42
-fun case_42() {
- if (<!SENSELESS_COMPARISON!>EmptyObject == nullableNothingProperty<!> || <!SENSELESS_COMPARISON!><!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!> === nullableNothingProperty<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("EmptyObject")!>EmptyObject<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 43
-fun case_43(x: TypealiasNullableString) {
- val z = null
-
- if (x == z && <!SENSELESS_COMPARISON!><!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.Nothing?")!>x<!> == z<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString & kotlin.Nothing?")!>x<!>.hashCode()
- }
-}
-
-/*
- * TESTCASE NUMBER: 44
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28329
- */
-fun case_44(x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>, z1: Nothing?) {
- if (true && true && true && true && x !== z1) {
-
- } else if (false) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString?")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 45
-fun case_45() {
- val a = Class()
- var z: Nothing? = null
-
- if (a.prop_4 != z || true) {
- if (a.prop_4 == null) {
- a.prop_4
- a.prop_4.hashCode()
- }
- }
-}
-
-// TESTCASE NUMBER: 46
-fun case_46(x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>, y: TypealiasNullableString) {
- val t: TypealiasNullableString = null
- var z: Nothing? = null
-
- if (x != nullableNothingProperty) {
-
- } else {
- if (y === nullableNothingProperty) {
- if (z != nullableStringProperty) {
- if (z === t || <!SENSELESS_COMPARISON!>t == nullableNothingProperty<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.Nothing?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString? & kotlin.Nothing?")!>x<!>.hashCode()
- }
- }
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 47
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28328
- */
-fun case_47(x: TypealiasNullableString, y: TypealiasNullableString, z: Nothing?) = if (x !== z && true && true && true) "1"
- else if (y != z) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.funNullableAny()
- } else "-1"
-
-// TESTCASE NUMBER: 48
-fun case_48(x: EmptyClass12_48?, z: Nothing?) =
- if (x != z && true) {
- throw Exception()
- } else {
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48?")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("othertypes.EmptyClass12_48?")!>x<!>.hashCode()
- }
-
-// TESTCASE NUMBER: 49
-class Case49 {
- val x: TypealiasNullableString<!REDUNDANT_NULLABLE!>?<!>
- init {
- x = TypealiasNullableString()
- }
-}
-
-fun case_49() {
- val a = Case49()
- var z = null
-
- if (a.x === z) {
- a.x
- a.x.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 50
-fun case_50(x: TypealiasNullableString) {
- val z1 = null
- val z2 = null
- val t = if (x != z1 && <!SENSELESS_COMPARISON!>z2 !== x<!>) "" else {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableString")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 51
-fun case_51() {
- val x: TypealiasNullableNothing = null
- val z: Nothing? = null
-
- if (x === z || <!SENSELESS_COMPARISON!>z == x<!> && <!SENSELESS_COMPARISON!>x == z<!> || false || false || false) {
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableNothing")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("TypealiasNullableNothing")!>x<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 52
-val case_52 = if (nullableIntProperty !== nullableNothingProperty && <!SENSELESS_COMPARISON!>nullableNothingProperty != nullableIntProperty<!>) 0 else {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>nullableIntProperty<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>nullableIntProperty<!>.hashCode()
-}
-
-//TESTCASE NUMBER: 53
-fun case_53(a: DeepObject.A.B.C.D.E.F.G.J?) {
- if (a == DeepObject.prop_2) {
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & kotlin.Nothing?")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("DeepObject.A.B.C.D.E.F.G.J? & kotlin.Nothing?")!>a<!>.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 54
-fun case_54(b: Boolean) {
- val a = if (b) {
- object {
- var z = null
- val B54 = if (b) {
- object {
- val C54 = if (b) {
- object {
- val D54 = if (b) {
- object {
- val x: Number? = 10
- }
- } else null
- }
- } else null
- }
- } else null
- }
- } else null
-
- val z = null
-
- if (a != z && a.B54 !== a.z && a.B54.C54 != a.z && a.B54.C54.D54 != a.z && a.B54.C54.D54.x === a.z) {
- a.B54.C54.D54.x
- a.B54.C54.D54.x.hashCode()
- }
-}
-
-// TESTCASE NUMBER: 55
-fun case_55(b: Boolean) {
- val a = object {
- val B19 = object {
- val C19 = object {
- var z = null
- val D19 = if (b) {
- object {}
- } else null
- }
- }
- }
-
- if (a.B19.C19.D19 === a.B19.C19.z) {
- a.B19.C19.D19
- }
-}
-
-// TESTCASE NUMBER: 56
-fun case_56() {
- if (EnumClassWithNullableProperty.A.prop_1 == implicitNullableNothingProperty) {
- EnumClassWithNullableProperty.A.prop_1
- EnumClassWithNullableProperty.A.prop_1.hashCode()
- }
-}
-
-/*
- * TESTCASE NUMBER: 57
- * UNEXPECTED BEHAVIOUR
- */
-fun case_57(a: (() -> Unit)) {
- var z = null
-
- if (<!SENSELESS_COMPARISON!>a == z<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit> & kotlin.Nothing")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit> & kotlin.Nothing")!>a<!>.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>java<!>
- }
-}
-
-/*
- * TESTCASE NUMBER: 58
- * UNEXPECTED BEHAVIOUR
- */
-fun case_58(a: ((Float) -> Int?)?, b: Float?, z: Nothing?) {
- if (a === z && b == z || z == a && z === b) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Float, kotlin.Int?>?")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Float?")!>b<!>
- if (a != z) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Float, kotlin.Int?>? & kotlin.Function1<kotlin.Float, kotlin.Int?>")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Float, kotlin.Int?>? & kotlin.Function1<kotlin.Float, kotlin.Int?>")!>a<!>.<!UNRESOLVED_REFERENCE!>java<!>
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 59
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28329
- */
-fun case_59(a: ((() -> Unit) -> Unit)?, b: (() -> Unit)?, z: Nothing?) {
- if (false || false || a == z && b === z) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function1<kotlin.Function0<kotlin.Unit>, kotlin.Unit>?")!>a<!>.funNullableAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!><!UNSAFE_CALL!>.<!>equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!><!UNSAFE_CALL!>.<!>propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!><!UNSAFE_CALL!>.<!>funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Function0<kotlin.Unit>?")!>b<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 60
-fun case_60(b: Boolean) {
- val x = {
- if (b) object {
- val a = 10
- } else nullableNothingProperty
- }
-
- val y = if (b) x else nullableNothingProperty
-
- if (y != nullableNothingProperty) {
- val z = <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>?")!>y()<!>
-
- if (z == nullableNothingProperty) {
- <!DEBUG_INFO_EXPRESSION_TYPE("<anonymous>? & kotlin.Nothing?")!>z<!>
- }
- }
-}
-
-// TESTCASE NUMBER: 61
-fun case_61(x: Any?) {
- if (x is Number?) {
- if (x !== implicitNullableNothingProperty) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Number")!>x<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 62
-fun case_62(x: Any?) {
- var z = null
- if (x is Number? && x is Int? && x != z) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 63
-fun case_63(x: Any?, b: Boolean) {
- val z1 = null
- val z2 = null
- val z3 = null
-
- if (x is Number?) {
- if (x !== when (b) { true -> z1; false -> z2; else -> z3 }) {
- if (x is Int?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableAny()
- }
- }
- }
-}
-
-// TESTCASE NUMBER: 64
-fun case_64(x: Any?) {
- if (x != try {implicitNullableNothingProperty} finally {}) {
- if (x is Number) {
- if (x is Int?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>x<!>.funNullableAny()
- }
- }
- }
-}
-
-// TESTCASE NUMBER: 65
-fun case_65(x: Any?, z: Nothing?) {
- if (x is ClassLevel1?) {
- if (x is ClassLevel2?) {
- if (x is ClassLevel3?) {
- if (x is ClassLevel4?) {
- if (x is ClassLevel5?) {
- if (x != z) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
- }
- }
- }
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 66
- * ISSUES: KT-35668
- */
-fun case_66(x: Any?, z1: Nothing?, z2: Nothing?, b: Boolean) {
- if (x is ClassLevel1?) {
- if (x is ClassLevel2?) {
- if (x is ClassLevel3?) {
- if (x != if (b) { z1 } else { z2 } && x is ClassLevel4?) {
- if (x is ClassLevel5?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
- }
- }
- }
- }
-}
-
-// TESTCASE NUMBER: 67
-fun case_67(x: Any?) {
- var z = null
-
- if (x is ClassLevel1? && x is ClassLevel2? && x is ClassLevel3?) {
- if (x is ClassLevel4? && x != (fun (): Nothing? { return z })() && x is ClassLevel5?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
- }
-}
-
-// TESTCASE NUMBER: 68
-fun case_68(x: Any?, z: Nothing?) {
- if (x is ClassLevel1? && x is ClassLevel2? && x is ClassLevel3?) {
- if (x is ClassLevel4? && x != (fun (): Nothing? { return z })() && x is ClassLevel5?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 69
- * ISSUES: KT-35668
- */
-fun case_69(x: Any?, z: Nothing?) {
- if (x is ClassLevel1? && x is ClassLevel2? && x is ClassLevel3? && x is ClassLevel4? && x != try { z } catch (e: Exception) { z } && x is ClassLevel5?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
-}
-
-// TESTCASE NUMBER: 70
-fun case_70(x: Any?) {
- if (x is ClassLevel1? && x is ClassLevel2? && x is ClassLevel3?) {
- if (x is ClassLevel4?) {
-
- } else if (x is ClassLevel5? && <!SENSELESS_COMPARISON!>x != nullableNothingProperty<!> || <!SENSELESS_COMPARISON!>x != implicitNullableNothingProperty<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel3")!>x<!>.funNullableAny()
- }
- } else if (x is ClassLevel4? && <!SENSELESS_COMPARISON!>x !== nullableNothingProperty<!> && x is ClassLevel5?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel5")!>x<!>.funNullableAny()
- }
-}
-
-/*
- * TESTCASE NUMBER: 71
- * NOTE: lazy smartcasts
- * DISCUSSION
- * ISSUES: KT-28362
- */
-fun case_71(t: Any?) {
- val z1 = null
- var z2 = z1
-
- if (t is Interface1?) {
- if (t is Interface2?) {
- if (t != z2) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1 & Interface2")!>t<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1 & Interface2")!>t<!>.itest1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1 & Interface2")!>t<!>.itest2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1 & Interface2")!>t<!>.itest()
-
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1 & Interface2")!>t<!>.let { <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & Interface2")!>it<!>.itest1(); <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & Interface2")!>it<!>.itest2() }
- }
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 72
- * NOTE: lazy smartcasts
- * DISCUSSION
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28362, KT-27032, KT-35668
- */
-fun case_72(t: Any?, z1: Nothing?) {
- var z2 = null
-
- if (t is Interface1? && t != z1 ?: z2 && t is Interface2?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1? & Interface2?")!>t<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1? & Interface2?")!>t<!><!UNSAFE_CALL!>.<!>itest1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1? & Interface2?")!>t<!><!UNSAFE_CALL!>.<!>itest2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1? & Interface2?")!>t<!><!UNSAFE_CALL!>.<!>itest()
-
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface1? & Interface2?")!>t<!>.let { <!DEBUG_INFO_EXPRESSION_TYPE("Interface1? & Interface2?")!>it<!><!UNSAFE_CALL!>.<!>itest1(); <!DEBUG_INFO_EXPRESSION_TYPE("Interface1? & Interface2?")!>it<!><!UNSAFE_CALL!>.<!>itest2() }
- }
-}
-
-/*
- * TESTCASE NUMBER: 73
- * NOTE: lazy smartcasts
- * DISCUSSION
- * UNEXPECTED BEHAVIOUR
- * ISSUES: KT-28362
- */
-fun case_73(t: Any?) {
- val `null` = null
-
- if (t is Interface2?) {
- if (t is ClassLevel1?) {
- if (t is ClassLevel2? && t is Interface1?) {
- if (t !is Interface3?) {} else if (false) {
- if (t != `null`) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>.itest2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>.itest1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>.itest()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>.test1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>.test2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & ClassLevel2 & Interface1 & Interface3")!>t<!>
- }
- }
- }
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 74
- * NOTE: lazy smartcasts
- * DISCUSSION
- * ISSUES: KT-28362
- */
-fun case_74(t: Any?) {
- if (t is Interface2?) {
- if (t is ClassLevel1?) {
- if (t == implicitNullableNothingProperty || <!SENSELESS_COMPARISON!>t === implicitNullableNothingProperty<!> || t !is Interface1?) else {
- if (t is ClassLevel2?) {
- if (t is Interface3?) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>.itest2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>.itest1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>.itest()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>.test1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>.test2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & Interface2 & Interface1 & ClassLevel2 & Interface3")!>t<!>
- }
- }
- }
- }
- }
-}
-
-/*
- * TESTCASE NUMBER: 75
- * NOTE: lazy smartcasts
- * DISCUSSION
- * ISSUES: KT-28362
- */
-fun case_75(t: Any?, z: Nothing?) {
- if (t !is ClassLevel2? || <!USELESS_IS_CHECK!>t !is ClassLevel1?<!>) else {
- if (t === ((((((z)))))) || t !is Interface1?) else {
- if (t !is Interface2? || t !is Interface3?) {} else {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>.itest2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>.itest1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>.itest()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>.test1()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>.test2()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & ClassLevel2 & Interface1 & Interface2 & Interface3")!>t<!>
- }
- }
- }
-}
-
-// TESTCASE NUMBER: 76
-fun case_76(a: Any?, b: Int = if (a !is Number? === true || a !is Int? == true || a != null == false == true) 0 else <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any? & kotlin.Int")!>a<!>) {
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any?")!>a<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.equals(null)
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.propT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.propAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.propNullableT
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.propNullableAny
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.funT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.funAny()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.funNullableT()
- <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>b<!>.funNullableAny()
-}
