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