// ISSUE: KT-53553 // CHECK_TYPE_WITH_EXACT fun test() { val buildee = parallelBuild( { consumeTargetTypeBase(it) }, { consumeTargetType(it) } ) // exact type equality check — turns unexpected compile-time behavior into red code // considered to be non-user-reproducible code for the purposes of these tests checkExactType>(; Buildee"), TYPE_MISMATCH("Buildee; Buildee")!>buildee) } open class TargetTypeBase class TargetType: TargetTypeBase() fun consumeTargetTypeBase(value: TargetTypeBase) {} fun consumeTargetType(value: TargetType) {} class Buildee fun parallelBuild( instructionsA: Buildee.(PTV) -> Unit, instructionsB: Buildee.(PTV) -> Unit ): Buildee { return null!! }