K1/K2: add test data for KT-66356

This commit is contained in:
Mikhail Glukhikh
2024-03-06 15:45:41 +01:00
committed by Space Team
parent 36b89f5e84
commit 2d755aabe7
7 changed files with 62 additions and 0 deletions
@@ -0,0 +1,16 @@
// MODULE: missing
class InaccessibleType<ITTP>
// MODULE: library(missing)
class Box<BTP>
fun produceBoxedInaccessibleType(): Box<InaccessibleType<Any?>> = Box()
fun consumeBoxedInaccessibleType(arg: Box<InaccessibleType<Any?>>) {}
// MODULE: main(library)
fun test() {
consumeBoxedInaccessibleType(<!ARGUMENT_TYPE_MISMATCH("Box<InaccessibleType<kotlin.Any?>>; Box<CapturedType(out ERROR CLASS: Inconsistent type: InaccessibleType<kotlin/Any?> (parameters.size = 0, arguments.size = 1))>")!>produceBoxedInaccessibleType()<!>)
}
@@ -0,0 +1,16 @@
// MODULE: missing
class InaccessibleType<ITTP>
// MODULE: library(missing)
class Box<BTP>
fun produceBoxedInaccessibleType(): Box<InaccessibleType<Any?>> = Box()
fun consumeBoxedInaccessibleType(arg: Box<InaccessibleType<Any?>>) {}
// MODULE: main(library)
fun test() {
consumeBoxedInaccessibleType(produceBoxedInaccessibleType())
}