azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

KT-619 Type inference fails

Browse Source 
#KT-619 Fixed
This commit is contained in:
Pavel V. Talanov
2012-07-24 15:53:39 +04:00
parent 6fd3cd0bf0
commit b216bbb844
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/inference/kt619.kt
+4
View File
@@ -0,0 +1,4 @@
class A(t : Int) : Comparable<A> {
var i = t
override fun compareTo(other : A) = (this.i - other.i)
}
compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+6 -4
View File
@@ -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");