open class B { constructor(x: T = null!!) {} } class A : B { constructor() {} } Resolved call: Candidate descriptor: constructor B(x: T = ...) defined in B Resulting descriptor: constructor B(x: Int = ...) defined in B Explicit receiver kind = NO_EXPLICIT_RECEIVER Dispatch receiver = NO_RECEIVER Extension receiver = NO_RECEIVER