K2: add test for KT-59241

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

@@ -24752,6 +24752,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 public void testSubstitutionInSuperType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt");
                 }
+
+                @Test
+                @TestMetadata("supplier.kt")
+                public void testSupplier() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt");
+                }
             }
 
             @Nested

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

@@ -24752,6 +24752,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 public void testSubstitutionInSuperType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt");
                 }
+
+                @Test
+                @TestMetadata("supplier.kt")
+                public void testSupplier() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt");
+                }
             }
 
             @Nested

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

@@ -24752,6 +24752,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 public void testSubstitutionInSuperType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt");
                 }
+
+                @Test
+                @TestMetadata("supplier.kt")
+                public void testSupplier() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt");
+                }
             }
 
             @Nested

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

@@ -24758,6 +24758,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 public void testSubstitutionInSuperType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt");
                 }
+
+                @Test
+                @TestMetadata("supplier.kt")
+                public void testSupplier() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt");
+                }
             }
 
             @Nested

compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.fir.kt

@@ -0,0 +1,23 @@
+// FULL_JDK
+
+// FILE: JavaClass.java
+import java.util.function.Supplier;
+import org.jetbrains.annotations.NotNull;
+
+public class JavaClass {
+    public static <E> void consume(@NotNull E value) {}
+    public static <E> void compute(Supplier<@NotNull E> computable) {}
+}
+
+// FILE: KotlinMain.kt
+fun test1() {
+    JavaClass.compute { <!ARGUMENT_TYPE_MISMATCH!>42.apply {}<!> }
+}
+
+fun test2() {
+    JavaClass.compute { <!ARGUMENT_TYPE_MISMATCH!>if (true) 42 else 42<!> }
+}
+
+fun test3() {
+    42.<!INAPPLICABLE_CANDIDATE!>apply<!>(JavaClass::<!UNRESOLVED_REFERENCE!>consume<!>)
+}

compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt

@@ -0,0 +1,23 @@
+// FULL_JDK
+
+// FILE: JavaClass.java
+import java.util.function.Supplier;
+import org.jetbrains.annotations.NotNull;
+
+public class JavaClass {
+    public static <E> void consume(@NotNull E value) {}
+    public static <E> void compute(Supplier<@NotNull E> computable) {}
+}
+
+// FILE: KotlinMain.kt
+fun test1() {
+    JavaClass.compute { 42.apply {} }
+}
+
+fun test2() {
+    JavaClass.compute { if (true) 42 else 42 }
+}
+
+fun test3() {
+    42.apply(JavaClass::consume)
+}

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

@@ -25572,6 +25572,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 public void testSubstitutionInSuperType() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt");
                 }
+
+                @Test
+                @TestMetadata("supplier.kt")
+                public void testSupplier() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/supplier.kt");
+                }
             }
 
             @Nested