[FIR TEST] Fix FE 1.0 / FIR test data for nested / local type alias case

This commit is contained in:
Mikhail Glukhikh
2020-08-02 17:16:21 +03:00
parent 7724d060ff
commit 39d4b79324
4 changed files with 43 additions and 6 deletions
@@ -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
interface ICell<T> {
@@ -16,6 +15,6 @@ class Derived : Base<Int>() {
val x1: 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)
}
@@ -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
fun <T> emptyList(): List<T> = null!!
@@ -6,12 +5,12 @@ fun <T> emptyList(): List<T> = null!!
fun <T> foo() {
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>
val b: <!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>LLT<!> = a
val b: LLT = a
return b
}