K2: handle alias-based types nullability properly in ConeTypeContext

#KT-60154 Fixed
This commit is contained in:
Mikhail Glukhikh
2023-07-13 17:21:07 +02:00
committed by Space Team
parent f4ba5aaf9a
commit a428ab6ed6
7 changed files with 54 additions and 2 deletions
@@ -0,0 +1,22 @@
// FIR_IDENTICAL
// ISSUE: KT-60154
// MODULE: lib
// FILE: lib.kt
interface Column<TData : Any, TValue>
fun <T : Any> column(): Column<T, Void> = TODO()
fun <T : Any> column(id: String): Column<T, String> = TODO()
typealias Void = Nothing?
// MODULE: app(lib)
// FILE: app.kt
interface RowData<T : Comparable<T>>
typealias ReadonlyArray<T> = Array<out T>
private val ALL_COLUMNS: ReadonlyArray<Column<RowData<*>, *>> = arrayOf(column(id = ""), column())