| 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: T2): super(x, "") {} |
| } |
| |
| |
| |
| Resolved call: |
| |
| Candidate descriptor: constructor B<X, Y : X>(x: X, s: String) defined in B |
| Resulting descriptor: constructor B<X, Y : T1>(x: T1, s: String) 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 s : String = "" |
