Descriptors with error types can override each other

This commit is contained in:
Andrey Breslav
2012-07-27 20:16:38 +04:00
parent f78d26c89a
commit c02e54678e
4 changed files with 26 additions and 1 deletions
@@ -0,0 +1,9 @@
package test
open class A {
open fun foo(a: E) {}
}
class B : A() {
override fun foo(a: E) {}
}
@@ -0,0 +1,10 @@
namespace test
internal open class test.A : jet.Any {
public final /*constructor*/ fun <init>(): test.A
internal open fun foo(/*0*/ a: [ERROR : E]): jet.Tuple0
}
internal final class test.B : test.A {
public final /*constructor*/ fun <init>(): test.B
internal open override /*1*/ fun foo(/*0*/ a: [ERROR : E]): jet.Tuple0
}