[FIR TEST] Fix FE 1.0 / FIR test data for nested / local type alias case
This commit is contained in:
+20
@@ -0,0 +1,20 @@
|
|||||||
|
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
||||||
|
|
||||||
|
interface ICell<T> {
|
||||||
|
val x: T
|
||||||
|
}
|
||||||
|
|
||||||
|
class Cell<T>(override val x: T): ICell<T>
|
||||||
|
|
||||||
|
open class Base<T> {
|
||||||
|
typealias CT = Cell<T>
|
||||||
|
inner class InnerCell(override val x: T): ICell<T>
|
||||||
|
}
|
||||||
|
|
||||||
|
class Derived : Base<Int>() {
|
||||||
|
val x1: InnerCell = InnerCell(42)
|
||||||
|
val x2: Base<Int>.InnerCell = InnerCell(42)
|
||||||
|
|
||||||
|
val test1: <!UNRESOLVED_REFERENCE!>CT<!> = Cell(42)
|
||||||
|
val test2: Base<Int>.CT = Cell(42)
|
||||||
|
}
|
||||||
@@ -1,4 +1,3 @@
|
|||||||
// FIR_IDENTICAL
|
|
||||||
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
||||||
|
|
||||||
interface ICell<T> {
|
interface ICell<T> {
|
||||||
@@ -16,6 +15,6 @@ class Derived : Base<Int>() {
|
|||||||
val x1: InnerCell = InnerCell(42)
|
val x1: InnerCell = InnerCell(42)
|
||||||
val x2: Base<Int>.InnerCell = InnerCell(42)
|
val x2: Base<Int>.InnerCell = InnerCell(42)
|
||||||
|
|
||||||
val test1: <!UNRESOLVED_REFERENCE!>CT<!> = Cell(42)
|
val test1: CT = Cell(42)
|
||||||
val test2: Base<Int>.CT = Cell(42)
|
val test2: Base<Int>.CT = Cell(42)
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -0,0 +1,19 @@
|
|||||||
|
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
||||||
|
|
||||||
|
fun <T> emptyList(): List<T> = null!!
|
||||||
|
|
||||||
|
fun <T> foo() {
|
||||||
|
typealias LT = List<T>
|
||||||
|
|
||||||
|
val a: <!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>LT<!> = emptyList()
|
||||||
|
|
||||||
|
fun localFun(): <!UNRESOLVED_REFERENCE!>LT<!> {
|
||||||
|
typealias LLT = List<T>
|
||||||
|
|
||||||
|
val b: <!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>LLT<!> = a
|
||||||
|
|
||||||
|
return b
|
||||||
|
}
|
||||||
|
|
||||||
|
localFun()
|
||||||
|
}
|
||||||
@@ -1,4 +1,3 @@
|
|||||||
// FIR_IDENTICAL
|
|
||||||
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
||||||
|
|
||||||
fun <T> emptyList(): List<T> = null!!
|
fun <T> emptyList(): List<T> = null!!
|
||||||
@@ -6,12 +5,12 @@ fun <T> emptyList(): List<T> = null!!
|
|||||||
fun <T> foo() {
|
fun <T> foo() {
|
||||||
typealias LT = List<T>
|
typealias LT = List<T>
|
||||||
|
|
||||||
val a: <!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>LT<!> = emptyList()
|
val a: LT = emptyList()
|
||||||
|
|
||||||
fun localFun(): <!UNRESOLVED_REFERENCE!>LT<!> {
|
fun localFun(): LT {
|
||||||
typealias LLT = List<T>
|
typealias LLT = List<T>
|
||||||
|
|
||||||
val b: <!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>LLT<!> = a
|
val b: LLT = a
|
||||||
|
|
||||||
return b
|
return b
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user