azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[tests] Add test data for KT-52838

Browse Source
This commit is contained in:
Stanislav Ruban
2023-11-30 22:04:11 +01:00
committed by Space Team
parent f6a3f999c3
commit 385b29f9c2
9 changed files with 248 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/builderInference/issues/kt52838a.kt
Vendored
+29
View File
@@ -0,0 +1,29 @@
// ISSUE: KT-52838
// CHECK_TYPE_WITH_EXACT
fun test() {
val buildee = build {
this as DerivedBuildee<*, *>
getTypeVariableA()
<!RECEIVER_TYPE_MISMATCH("CapturedType(*); CapturedType(*)"), RECEIVER_TYPE_MISMATCH("CapturedType(*); CapturedType(*)"), RECEIVER_TYPE_MISMATCH("CapturedType(*); CapturedType(*)"), RECEIVER_TYPE_MISMATCH("CapturedType(*); CapturedType(*)")!>getTypeVariableB<!>()
}
// 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<Any?, Any?>; Buildee<*, *>")!>buildee<!>)
}
open class Buildee<TVA, TVB> {
fun getTypeVariableA(): TVA = storageA
fun getTypeVariableB(): TVB = storageB
private var storageA: TVA = null!!
private var storageB: TVB = null!!
}
class DerivedBuildee<TAA, TAB>: Buildee<TAA, TAB>()
fun <PTVA, PTVB> build(instructions: Buildee<PTVA, PTVB>.() -> Unit): Buildee<PTVA, PTVB> {
return DerivedBuildee<PTVA, PTVB>().apply(instructions)
}