From fac424c5740eff66856b6ea727bf506afb866afc Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Fri, 17 Feb 2012 09:12:48 -0500
Subject: [PATCH] KT-725 test for obsolete issue

---
 compiler/testData/codegen/regressions/kt725.kt            | 8 ++++++++
 .../tests/org/jetbrains/jet/codegen/ClassGenTest.java     | 4 ++++
 2 files changed, 12 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt725.kt

diff --git a/compiler/testData/codegen/regressions/kt725.kt b/compiler/testData/codegen/regressions/kt725.kt
new file mode 100644
index 00000000000..950b4c6b734
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt725.kt
@@ -0,0 +1,8 @@
+fun Int?.inc() = this.sure().inc()
+
+public fun box() : String {
+    var i : Int? = 10
+    val j = i++
+
+    return if(j==10 && 11 == i) "OK" else "fail"
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
index 9cc0d7056f8..d81a94199c0 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
@@ -289,4 +289,8 @@ public class ClassGenTest extends CodegenTestCase {
     public void testKt723() throws Exception {
         blackBoxFile("regressions/kt723.kt");
     }
+
+    public void testKt725() throws Exception {
+        blackBoxFile("regressions/kt725.kt");
+    }
 }