| open class B<X, Y : X> { |
| constructor(x: X, y: Y) {} |
| constructor(x: X, s: String) {} |
| constructor(y: Y, i: Int) : this(y, "") {} |
| } |
| |
| class A<T1, T2 : T1> : B<T1, T2> { |
| <caret>constructor(x: T1, y: T2): super(x, y) {} |
| } |
| |
| |
| |
| Resolved call: |
| |
| Candidate descriptor: constructor B<X, Y : X>(x: X, y: Y) defined in B |
| Resulting descriptor: constructor B<X, Y : T1>(x: T1, y: T2) defined in B |
| |
| Explicit receiver kind = NO_EXPLICIT_RECEIVER |
| Dispatch receiver = NO_RECEIVER |
| Extension receiver = NO_RECEIVER |
| |
| Value arguments mapping: |
| |
| SUCCESS x : T1 = x |
| SUCCESS y : T2 = y |
