Add testcase for fixed issue
#KT-9850 Fixed
This commit is contained in:
@@ -0,0 +1,8 @@
|
|||||||
|
abstract class Base {
|
||||||
|
abstract fun <T> foo(list: List<T>) where T : Number, T : Comparable<T>
|
||||||
|
}
|
||||||
|
|
||||||
|
class Derived : Base() {
|
||||||
|
override fun <T> foo(list: List<T>) where T : Number, T : Comparable<T> {
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -0,0 +1,17 @@
|
|||||||
|
package
|
||||||
|
|
||||||
|
public abstract class Base {
|
||||||
|
public constructor Base()
|
||||||
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
||||||
|
public abstract fun </*0*/ T : kotlin.Number> foo(/*0*/ list: kotlin.List<T>): kotlin.Unit where T : kotlin.Comparable<T>
|
||||||
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
||||||
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
||||||
|
}
|
||||||
|
|
||||||
|
public final class Derived : Base {
|
||||||
|
public constructor Derived()
|
||||||
|
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
|
||||||
|
public open override /*1*/ fun </*0*/ T : kotlin.Number> foo(/*0*/ list: kotlin.List<T>): kotlin.Unit where T : kotlin.Comparable<T>
|
||||||
|
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
|
||||||
|
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
|
||||||
|
}
|
||||||
@@ -11102,6 +11102,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
|
|||||||
doTest(fileName);
|
doTest(fileName);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@TestMetadata("kt9850.kt")
|
||||||
|
public void testKt9850() throws Exception {
|
||||||
|
String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/override/typeParameters/kt9850.kt");
|
||||||
|
doTest(fileName);
|
||||||
|
}
|
||||||
|
|
||||||
@TestMetadata("simpleVisitorTwoAccepts.kt")
|
@TestMetadata("simpleVisitorTwoAccepts.kt")
|
||||||
public void testSimpleVisitorTwoAccepts() throws Exception {
|
public void testSimpleVisitorTwoAccepts() throws Exception {
|
||||||
String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/override/typeParameters/simpleVisitorTwoAccepts.kt");
|
String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/override/typeParameters/simpleVisitorTwoAccepts.kt");
|
||||||
|
|||||||
Reference in New Issue
Block a user