From 6e3c02b695a5b89c58e03427ddc03605815fdad4 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Sat, 2 Jun 2012 23:27:34 +0200
Subject: [PATCH] test for already fixed KT-1726

---
 compiler/testData/codegen/regressions/kt1726.kt   | 15 +++++++++++++++
 .../org/jetbrains/jet/codegen/ClassGenTest.java   |  5 +++++
 2 files changed, 20 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt1726.kt

diff --git a/compiler/testData/codegen/regressions/kt1726.kt b/compiler/testData/codegen/regressions/kt1726.kt
new file mode 100644
index 00000000000..c718ea84028
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt1726.kt
@@ -0,0 +1,15 @@
+class Foo(
+        var state : Int,
+        val f : (Int) -> Int){
+
+    fun next() : Int {
+        val nextState = f(state)
+        state = nextState
+        return state
+    }
+}
+
+fun box(): String {
+    val f = Foo(23, {x -> 2 * x})
+    return if (f.next() == 46) "OK" else "fail"
+}
diff --git a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
index b8d58529f8a..fda40959c81 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
@@ -406,4 +406,9 @@ public class ClassGenTest extends CodegenTestCase {
         createEnvironmentWithMockJdkAndIdeaAnnotations(CompilerSpecialMode.JDK_HEADERS);
         blackBoxFile("regressions/kt1578.kt");
     }
+
+    public void testKt1726() throws Exception {
+        createEnvironmentWithMockJdkAndIdeaAnnotations(CompilerSpecialMode.JDK_HEADERS);
+        blackBoxFile("regressions/kt1726.kt");
+    }
 }