From 73cd77671524ce4f28346bd0c105ec03a5c371de Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Wed, 30 Apr 2014 13:54:21 +0400
Subject: [PATCH] Added test for KT-4640  #KT-4640 Obsolete

---
 .../diagnostics/tests/delegatedProperty/kt4640.kt     | 11 +++++++++++
 .../jet/checkers/JetDiagnosticsTestGenerated.java     |  5 +++++
 2 files changed, 16 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/delegatedProperty/kt4640.kt

diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/kt4640.kt b/compiler/testData/diagnostics/tests/delegatedProperty/kt4640.kt
new file mode 100644
index 00000000000..c6e337e3212
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/delegatedProperty/kt4640.kt
@@ -0,0 +1,11 @@
+//KT-4640 "Trace is erased after resolution completion" exception
+
+class ValueWrapper()
+{
+    var value: Int = 0
+
+    fun get() = value
+    fun set(v: Int) { value = v }
+}
+
+val foo by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!>ValueWrapper()<!>
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index c29da23e22e..04037b5dda0 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -2579,6 +2579,11 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                 doTest("compiler/testData/diagnostics/tests/delegatedProperty/incompleteTypeInference.kt");
             }
             
+            @TestMetadata("kt4640.kt")
+            public void testKt4640() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/delegatedProperty/kt4640.kt");
+            }
+            
             @TestMetadata("localVariable.kt")
             public void testLocalVariable() throws Exception {
                 doTest("compiler/testData/diagnostics/tests/delegatedProperty/localVariable.kt");