| open class B<R1, R2>(x: R1, y: R2) | |
| class A<T1, T2> : B<T1, Int> { | |
| <caret>constructor(x: T1, y: Int): super(x, y) {} | |
| } | |
| Resolved call: | |
| Candidate descriptor: constructor B<R1, R2>(x: R1, y: R2) defined in B | |
| Resulting descriptor: constructor B<R1, R2>(x: T1, y: Int) 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 : Int = y |