FE: add tests for KT-53966 (positive/negative)

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java

@@ -6273,6 +6273,12 @@ public class DiagnosisCompilerFirTestdataTestGenerated extends AbstractDiagnosis
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/exceptionInRepeatedAnnotation.kt");
             }
 
+            @Test
+            @TestMetadata("falseSamConversion.kt")
+            public void testFalseSamConversion() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/falseSamConversion.kt");
+            }
+
             @Test
             @TestMetadata("immutableName.kt")
             public void testImmutableName() throws Exception {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java

@@ -27572,6 +27572,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/samConversions/samConversionToGeneric.kt");
             }
 
+            @Test
+            @TestMetadata("samConversionWithCondition.kt")
+            public void testSamConversionWithCondition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.kt");
+            }
+
             @Test
             @TestMetadata("samConversionsWithSmartCasts.kt")
             public void testSamConversionsWithSmartCasts() throws Exception {

compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/falseSamConversion.fir.txt

@@ -0,0 +1,16 @@
+FILE: test.kt
+    public final class Wrapper : R|kotlin/Any| {
+        public constructor(si: R|SamInterface?|): R|Wrapper| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final val si: R|SamInterface?| = R|<local>/si|
+            public get(): R|SamInterface?|
+
+    }
+    public final fun test(w: R|Wrapper?|): R|kotlin/Unit| {
+        R|/Wrapper.Wrapper|(R|<local>/w|?.{ $subj$.R|kotlin/let|<R|Wrapper|, R|SamInterface?|>(<L> = let@fun <anonymous>(it: R|Wrapper|): R|SamInterface?| <inline=Inline, kind=EXACTLY_ONCE>  {
+            ^ R|<local>/it|.R|/Wrapper.si|
+        }
+        ) })
+    }

compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/falseSamConversion.kt

@@ -0,0 +1,13 @@
+// FILE: SamInterface.java
+
+public interface SamInterface {
+    public boolean foo(String arg);
+}
+
+// FILE: test.kt
+
+class Wrapper(val si: SamInterface?)
+
+fun test(w: Wrapper?) {
+    Wrapper(w?.let { it.si })
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java

@@ -6273,6 +6273,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/exceptionInRepeatedAnnotation.kt");
             }
 
+            @Test
+            @TestMetadata("falseSamConversion.kt")
+            public void testFalseSamConversion() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/falseSamConversion.kt");
+            }
+
             @Test
             @TestMetadata("immutableName.kt")
             public void testImmutableName() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java

@@ -6273,6 +6273,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/exceptionInRepeatedAnnotation.kt");
             }
 
+            @Test
+            @TestMetadata("falseSamConversion.kt")
+            public void testFalseSamConversion() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/falseSamConversion.kt");
+            }
+
             @Test
             @TestMetadata("immutableName.kt")
             public void testImmutableName() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java

@@ -27584,6 +27584,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/samConversions/samConversionToGeneric.kt");
             }
 
+            @Test
+            @TestMetadata("samConversionWithCondition.kt")
+            public void testSamConversionWithCondition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.kt");
+            }
+
             @Test
             @TestMetadata("samConversionsWithSmartCasts.kt")
             public void testSamConversionsWithSmartCasts() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java

@@ -27572,6 +27572,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/samConversions/samConversionToGeneric.kt");
             }
 
+            @Test
+            @TestMetadata("samConversionWithCondition.kt")
+            public void testSamConversionWithCondition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.kt");
+            }
+
             @Test
             @TestMetadata("samConversionsWithSmartCasts.kt")
             public void testSamConversionsWithSmartCasts() throws Exception {

compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.fir.kt

@@ -0,0 +1,14 @@
+fun main() {
+    val flag = true
+    consumeTicker(
+        if (flag) null else <!ARGUMENT_TYPE_MISMATCH!>{ num -> num.<!UNRESOLVED_REFERENCE!>dec<!>() }<!>
+    )
+}
+
+fun consumeTicker(ticker: Ticker?) {
+
+}
+
+fun interface Ticker {
+    fun tick(num: Int)
+}

compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.kt

@@ -0,0 +1,14 @@
+fun main() {
+    val flag = true
+    consumeTicker(
+        if (flag) null else { num -> num.dec() }
+    )
+}
+
+fun consumeTicker(ticker: Ticker?) {
+
+}
+
+fun interface Ticker {
+    fun tick(num: Int)
+}

compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.txt

@@ -0,0 +1,11 @@
+package
+
+public fun consumeTicker(/*0*/ ticker: Ticker?): kotlin.Unit
+public fun main(): kotlin.Unit
+
+public fun interface Ticker {
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public abstract fun tick(/*0*/ num: kotlin.Int): kotlin.Unit
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -27584,6 +27584,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/samConversions/samConversionToGeneric.kt");
             }
 
+            @Test
+            @TestMetadata("samConversionWithCondition.kt")
+            public void testSamConversionWithCondition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/samConversions/samConversionWithCondition.kt");
+            }
+
             @Test
             @TestMetadata("samConversionsWithSmartCasts.kt")
             public void testSamConversionsWithSmartCasts() throws Exception {