From bdab7a88f6aec0398612ebad3fe7cd2c3da6d067 Mon Sep 17 00:00:00 2001
From: Mikhail Zarechenskiy <mikhail.zarechenskiy@jetbrains.com>
Date: Fri, 12 Apr 2019 15:20:40 +0300
Subject: [PATCH] [NI] Add test for obsolete issue

 #KT-28658 Obsolete
---
 .../fir/FirDiagnosticsSmokeTestGenerated.java |  5 +++
 .../testsWithStdLib/coroutines/kt28658.kt     | 34 +++++++++++++++++++
 .../testsWithStdLib/coroutines/kt28658.txt    | 14 ++++++++
 .../checkers/DiagnosticsTestGenerated.java    |  5 +++
 .../DiagnosticsTestWithStdLibGenerated.java   |  5 +++
 ...ticsTestWithStdLibUsingJavacGenerated.java |  5 +++
 .../DiagnosticsUsingJavacTestGenerated.java   |  5 +++
 7 files changed, 73 insertions(+)
 create mode 100644 compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt
 create mode 100644 compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.txt

diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
index 0005fffd962..88b434195e1 100644
--- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
+++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
@@ -9770,6 +9770,11 @@ public class FirDiagnosticsSmokeTestGenerated extends AbstractFirDiagnosticsSmok
                 runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedType.kt");
             }
 
+            @TestMetadata("capturedTypeAgainstNullableInvariantType.kt")
+            public void testCapturedTypeAgainstNullableInvariantType() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAgainstNullableInvariantType.kt");
+            }
+
             @TestMetadata("capturedTypeAndApproximation.kt")
             public void testCapturedTypeAndApproximation() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAndApproximation.kt");
diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt
new file mode 100644
index 00000000000..c2cbf5446ef
--- /dev/null
+++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt
@@ -0,0 +1,34 @@
+// !LANGUAGE: +NewInference
+// !USE_EXPERIMENTAL: kotlin.Experimental
+// !DIAGNOSTICS: -UNUSED_EXPRESSION -UNUSED_PARAMETER -UNUSED_VARIABLE
+
+import kotlin.experimental.ExperimentalTypeInference
+
+fun test1() {
+    sequence {
+        val a: Array<Int> = arrayOf(1, 2, 3)
+        val b = arrayOf(1, 2, 3)
+    }
+}
+
+fun test2() = sequence { arrayOf(1, 2, 3) }
+
+
+class Foo<T>
+
+fun <T> f1(f: Foo<T>.() -> Unit) {}
+
+@UseExperimental(ExperimentalTypeInference::class)
+fun <T> f2(@BuilderInference f: Foo<T>.() -> Unit) {
+}
+
+fun test3() {
+    f1 {
+        val a: Array<Int> = arrayOf(1, 2, 3)
+    }
+
+    f2 {
+        val a: Array<Int> = arrayOf(1, 2, 3)
+    }
+}
+
diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.txt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.txt
new file mode 100644
index 00000000000..8aa658f413d
--- /dev/null
+++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.txt
@@ -0,0 +1,14 @@
+package
+
+public fun </*0*/ T> f1(/*0*/ f: Foo<T>.() -> kotlin.Unit): kotlin.Unit
+@kotlin.UseExperimental(markerClass = {kotlin.experimental.ExperimentalTypeInference::class}) public fun </*0*/ T> f2(/*0*/ @kotlin.BuilderInference f: Foo<T>.() -> kotlin.Unit): kotlin.Unit
+public fun test1(): kotlin.Unit
+public fun test2(): kotlin.sequences.Sequence<kotlin.Any?>
+public fun test3(): kotlin.Unit
+
+public final class Foo</*0*/ T> {
+    public constructor Foo</*0*/ T>()
+    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 open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
index fee2db0232a..1f18e4f3010 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
@@ -9777,6 +9777,11 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedType.kt");
                 }
 
+                @TestMetadata("capturedTypeAgainstNullableInvariantType.kt")
+                public void testCapturedTypeAgainstNullableInvariantType() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAgainstNullableInvariantType.kt");
+                }
+
                 @TestMetadata("capturedTypeAndApproximation.kt")
                 public void testCapturedTypeAndApproximation() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAndApproximation.kt");
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithStdLibGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithStdLibGenerated.java
index 05d63957abc..bb8d2e9f91d 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithStdLibGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithStdLibGenerated.java
@@ -1553,6 +1553,11 @@ public class DiagnosticsTestWithStdLibGenerated extends AbstractDiagnosticsTestW
             runTestWithPackageReplacement("compiler/testData/diagnostics/testsWithStdLib/coroutines/kt18292.kt", "kotlin.coroutines");
         }
 
+        @TestMetadata("kt28658.kt")
+        public void testKt28658() throws Exception {
+            runTest("compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt");
+        }
+
         @TestMetadata("lambdaExpectedType.kt")
         public void testLambdaExpectedType() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithStdLib/coroutines/lambdaExpectedType.kt");
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsTestWithStdLibUsingJavacGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsTestWithStdLibUsingJavacGenerated.java
index f26ec787f31..7f50e0cf480 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsTestWithStdLibUsingJavacGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsTestWithStdLibUsingJavacGenerated.java
@@ -1553,6 +1553,11 @@ public class DiagnosticsTestWithStdLibUsingJavacGenerated extends AbstractDiagno
             runTestWithPackageReplacement("compiler/testData/diagnostics/testsWithStdLib/coroutines/kt18292.kt", "kotlin.coroutines");
         }
 
+        @TestMetadata("kt28658.kt")
+        public void testKt28658() throws Exception {
+            runTest("compiler/testData/diagnostics/testsWithStdLib/coroutines/kt28658.kt");
+        }
+
         @TestMetadata("lambdaExpectedType.kt")
         public void testLambdaExpectedType() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithStdLib/coroutines/lambdaExpectedType.kt");
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
index ec94134201c..6ae5fb495df 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
@@ -9772,6 +9772,11 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedType.kt");
                 }
 
+                @TestMetadata("capturedTypeAgainstNullableInvariantType.kt")
+                public void testCapturedTypeAgainstNullableInvariantType() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAgainstNullableInvariantType.kt");
+                }
+
                 @TestMetadata("capturedTypeAndApproximation.kt")
                 public void testCapturedTypeAndApproximation() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/capturedTypes/capturedTypeAndApproximation.kt");