From b216bbb8441afc8402dd42748b3da9e5da4169f5 Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <Pavel.Talanov@jetbrains.com>
Date: Tue, 24 Jul 2012 15:53:39 +0400
Subject: [PATCH]  KT-619 Type inference fails

 #KT-619 Fixed
---
 compiler/testData/diagnostics/tests/inference/kt619.kt |  4 ++++
 .../jet/checkers/JetDiagnosticsTestGenerated.java      | 10 ++++++----
 2 files changed, 10 insertions(+), 4 deletions(-)
 create mode 100644 compiler/testData/diagnostics/tests/inference/kt619.kt

diff --git a/compiler/testData/diagnostics/tests/inference/kt619.kt b/compiler/testData/diagnostics/tests/inference/kt619.kt
new file mode 100644
index 00000000000..34abe88e155
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt619.kt
@@ -0,0 +1,4 @@
+class A(t : Int) : Comparable<A> {
+    var i = t
+    override fun compareTo(other : A) = (this.i - other.i)
+}
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index 0d1c3cabb0b..ba90a421315 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -15,15 +15,12 @@
  */
 package org.jetbrains.jet.checkers;
 
-import junit.framework.Assert;
 import junit.framework.Test;
 import junit.framework.TestSuite;
-
-import java.io.File;
 import org.jetbrains.jet.JetTestUtils;
 import org.jetbrains.jet.test.TestMetadata;
 
-import org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve;
+import java.io.File;
 
 /** This class is generated by {@link org.jetbrains.jet.checkers.AbstractDiagnosticsTestWithEagerResolve}. DO NOT MODIFY MANUALLY */
 public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEagerResolve {
@@ -1274,6 +1271,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                 doTest("compiler/testData/diagnostics/tests/inference/kt1293.kt");
             }
             
+            @TestMetadata("kt619.kt")
+            public void testKt619() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/inference/kt619.kt");
+            }
+            
             @TestMetadata("listConstructor.kt")
             public void testListConstructor() throws Exception {
                 doTest("compiler/testData/diagnostics/tests/inference/listConstructor.kt");