resolve type parameters that reference type variables declared after

like

Aaa<B extends Bbb<C>, C>

#KT-1731 fixed
This commit is contained in:
Stepan Koltsov
2012-04-28 17:43:53 +04:00
parent 615330ca75
commit 7352da34ef
4 changed files with 26 additions and 1 deletions
@@ -0,0 +1,7 @@
package test;
interface Foo<Q> {
}
class ClassWithTypePRefNext<R extends Foo<P>, P> {
}
@@ -0,0 +1,5 @@
package test
trait Foo<erased Q> : java.lang.Object
open class ClassWithTypePRefNext<erased R : Foo<P>?, erased P>() : java.lang.Object()
@@ -0,0 +1,7 @@
namespace test
abstract trait test.Foo</*0*/ Q : jet.Any?> : java.lang.Object {
}
open class test.ClassWithTypePRefNext</*0*/ R : test.Foo<P>?, /*1*/ P : jet.Any?> : java.lang.Object {
final /*constructor*/ fun </*0*/ R : test.Foo<P>?, /*1*/ P : jet.Any?><init>(): test.ClassWithTypePRefNext<R, P>
}