Added checking type parameters count in alternative signatures.

This commit is contained in:
Evgeny Gerashchenko
2012-06-21 16:08:46 +04:00
parent d9127fc34b
commit f0857d0081
4 changed files with 34 additions and 0 deletions
@@ -0,0 +1,14 @@
package test;
import java.lang.UnsupportedOperationException;
import java.util.*;
import java.util.BitSet;
import java.util.List;
import jet.runtime.typeinfo.KotlinSignature;
public class WrongTypeParametersCount {
@KotlinSignature("fun <A, B, C> foo(a : A, b : List<out B>)")
public <A, B> void foo(A a, List<? extends B> b) {
}
}
@@ -0,0 +1,8 @@
package test
import java.util.*
public open class WrongTypeParametersCount : Object() {
public open fun <erased A, erased B> foo(p0 : A?, p1 : List<out B>?) {
}
}
@@ -0,0 +1,6 @@
namespace test
public open class test.WrongTypeParametersCount : java.lang.Object {
public final /*constructor*/ fun <init>(): test.WrongTypeParametersCount
public open fun </*0*/ A : jet.Any?, /*1*/ B : jet.Any?>foo(/*0*/ p0: A?, /*1*/ p1: java.util.List<out B>?): jet.Tuple0
}