From 58183731f58b4150b819d1f3abdfd247c32556b1 Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Mon, 18 May 2015 15:28:58 +0300
Subject: [PATCH] Test for obsolete KT-5448: VerifyError with mismatched stack
 types

  #KT-5448 Obsolete
---
 .../codegen/boxWithStdlib/when/kt5448.kt      | 20 +++++++++++++++++++
 ...lackBoxWithStdlibCodegenTestGenerated.java |  6 ++++++
 2 files changed, 26 insertions(+)
 create mode 100644 compiler/testData/codegen/boxWithStdlib/when/kt5448.kt

diff --git a/compiler/testData/codegen/boxWithStdlib/when/kt5448.kt b/compiler/testData/codegen/boxWithStdlib/when/kt5448.kt
new file mode 100644
index 00000000000..d1c09d5dc1f
--- /dev/null
+++ b/compiler/testData/codegen/boxWithStdlib/when/kt5448.kt
@@ -0,0 +1,20 @@
+class A
+
+class B(val items: Collection<A>)
+
+class C {
+    fun foo(p: Int) {
+        when (p) {
+            1 -> arrayListOf<Int>().add(1)
+        }
+    }
+
+    fun bar() = B(listOf<A>().map { it })
+}
+
+fun box(): String {
+    C().foo(1)
+    if (C().bar().items.isNotEmpty()) return "fail"
+
+    return "OK"
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
index b021ee76072..f47c2eea510 100644
--- a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
@@ -3607,6 +3607,12 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
             doTestWithStdlib(fileName);
         }
 
+        @TestMetadata("kt5448.kt")
+        public void testKt5448() throws Exception {
+            String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/when/kt5448.kt");
+            doTestWithStdlib(fileName);
+        }
+
         @TestMetadata("switchOptimizationDense.kt")
         public void testSwitchOptimizationDense() throws Exception {
             String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/when/switchOptimizationDense.kt");