[tests] Add test data for KT-53740

This commit is contained in:
Stanislav Ruban
2023-12-02 15:25:19 +01:00
committed by Space Team
parent 7d040af24c
commit 126022a80d
6 changed files with 262 additions and 0 deletions
@@ -0,0 +1,45 @@
// ISSUE: KT-53740
// IGNORE_LIGHT_ANALYSIS
// IGNORE_BACKEND_K1: ANY
// REASON: red code (see corresponding diagnostic test)
// IGNORE_BACKEND_K2: JVM_IR, WASM
// REASON: run-time failure (java.lang.ClassCastException: TargetType cannot be cast to DifferentType @ Kt53740aKt$box$2.invoke)
fun box(): String {
parallelBuild(
{
setTypeVariable(TargetType())
},
{
consumeDifferentType(getTypeVariable())
}
)
return "OK"
}
class TargetType
class DifferentType
fun consumeDifferentType(value: DifferentType) {}
class Buildee<TV> {
fun setTypeVariable(value: TV) { storage = value }
fun getTypeVariable(): TV = storage
private var storage: TV = TargetType() as TV
}
fun <PTV> parallelBuild(
instructionsA: Buildee<PTV>.(PTV) -> Unit,
instructionsB: Buildee<PTV>.(PTV) -> Unit
): Buildee<PTV> {
val value = TargetType() as PTV
return Buildee<PTV>().apply {
instructionsA(value)
instructionsB(value)
}
}
@@ -0,0 +1,53 @@
// ISSUE: KT-53740
// IGNORE_LIGHT_ANALYSIS
// IGNORE_BACKEND_K1: ANY
// REASON: red code (see corresponding diagnostic test)
// IGNORE_BACKEND_K2: JVM_IR, WASM
// REASON: run-time failure (java.lang.ClassCastException: TargetType cannot be cast to DifferentType @ Kt53740bKt$box$2.invoke)
fun box(): String {
parallelInOutBuild(
{
setInProjectedTypeVariable(TargetType())
},
{
consumeDifferentType(getOutProjectedTypeVariable())
}
)
return "OK"
}
class TargetType
class DifferentType
fun consumeDifferentType(value: DifferentType) {}
class Buildee<TV> {
fun setTypeVariable(value: TV) { storage = value }
fun getTypeVariable(): TV = storage
private var storage: TV = TargetType() as TV
}
class OutBuildee<out OTV>(private val buildee: Buildee<out OTV>) {
fun getOutProjectedTypeVariable(): OTV = buildee.getTypeVariable()
}
class InBuildee<in ITV>(private val buildee: Buildee<in ITV>) {
fun setInProjectedTypeVariable(value: ITV) { buildee.setTypeVariable(value) }
}
fun <PTV> parallelInOutBuild(
inProjectedInstructions: InBuildee<PTV>.(PTV) -> Unit,
outProjectedInstructions: OutBuildee<PTV>.(PTV) -> Unit
): Buildee<PTV> {
val value = TargetType() as PTV
return Buildee<PTV>().apply {
InBuildee(this).inProjectedInstructions(value)
OutBuildee(this).outProjectedInstructions(value)
}
}