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

[FIR] add more tests diagnostic tests on data and delegated classes

Browse Source 
^KT-63522
^KT-63512
^KT-63042
This commit is contained in:
Dmitrii Gridin
2023-11-16 15:48:11 +01:00
committed by Space Team
parent fab63e38aa
commit b3b184f00d
121 changed files with 22418 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/dataClasses/propertyTypeCollision.fir.txt
Vendored
+38
View File
@@ -0,0 +1,38 @@
FILE: propertyTypeCollision.kt
package one.two
public final fun main(): R|kotlin/Unit| {
lval value: R|one/two/MyDataClass.MyClass| = R|one/two/MyDataClass.MyClass.MyClass|()
lval data: R|one/two/MyDataClass| = R|one/two/MyDataClass.MyDataClass|(R|<local>/value|)
lval copy: R|one/two/MyDataClass| = R|<local>/data|.R|one/two/MyDataClass.copy|(R|<local>/value|)
lval prop: R|one/two/MyDataClass.MyClass| = R|<local>/data|.R|one/two/MyDataClass.prop|
lval component1: R|one/two/MyDataClass.MyClass| = R|<local>/data|.R|one/two/MyDataClass.component1|()
lval <destruct>: R|one/two/MyDataClass| = R|<local>/data|
lval destructuring: R|one/two/MyDataClass.MyClass| = R|<local>/<destruct>|.R|one/two/MyDataClass.component1|()
}
public final class MyClass : R|kotlin/Any| {
public constructor(): R|one/two/MyClass| {
super<R|kotlin/Any|>()
}
}
public final data class MyDataClass : R|kotlin/Any| {
public constructor(prop: R|one/two/MyDataClass.MyClass|): R|one/two/MyDataClass| {
super<R|kotlin/Any|>()
}
public final val prop: R|one/two/MyDataClass.MyClass| = R|<local>/prop|
public get(): R|one/two/MyDataClass.MyClass|
public final class MyClass : R|kotlin/Any| {
public constructor(): R|one/two/MyDataClass.MyClass| {
super<R|kotlin/Any|>()
}
}
public final operator fun component1(): R|one/two/MyDataClass.MyClass|
public final fun copy(prop: R|one/two/MyDataClass.MyClass| = this@R|one/two/MyDataClass|.R|one/two/MyDataClass.prop|): R|one/two/MyDataClass|
}
compiler/testData/diagnostics/tests/dataClasses/propertyTypeCollision.kt
Vendored
+20
View File
@@ -0,0 +1,20 @@
// FIR_IDENTICAL
// FIR_DUMP
package one.two
import one.two.MyDataClass.MyClass as Alias
fun main() {
val value = Alias()
val data = MyDataClass(value)
val copy = data.copy(value)
val prop: Alias = data.prop
val component1: Alias = data.component1()
val (destructuring: Alias) = (data)
}
class MyClass
data class MyDataClass(val prop: MyClass) {
class MyClass
}
compiler/testData/diagnostics/tests/dataClasses/propertyTypeCollisionAndAnnotations.fir.txt
Vendored
+59
View File
@@ -0,0 +1,59 @@
FILE: propertyTypeCollisionAndAnnotations.kt
package one.two
@R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|)) public final annotation class Anno : R|kotlin/Annotation| {
public constructor(i: R|kotlin/Int|): R|one/two/Anno| {
super<R|kotlin/Any|>()
}
public final val i: R|kotlin/Int| = R|<local>/i|
public get(): R|kotlin/Int|
}
public final fun main(): R|kotlin/Unit| {
lval value: R|one/two/MyDataClass.MyClass<one/two/MyDataClass.MyClass<kotlin/Int>>| = R|one/two/MyDataClass.MyClass.MyClass|<R|one/two/MyDataClass.MyClass<kotlin/Int>|>()
lval data: R|one/two/MyDataClass| = R|one/two/MyDataClass.MyDataClass|(R|<local>/value|)
lval copy: R|one/two/MyDataClass| = R|<local>/data|.R|one/two/MyDataClass.copy|(R|<local>/value|)
lval prop: R|one/two/MyDataClass.MyClass<one/two/MyDataClass.MyClass<kotlin/Int>>| = R|<local>/data|.R|one/two/MyDataClass.prop|
lval component1: R|one/two/MyDataClass.MyClass<one/two/MyDataClass.MyClass<kotlin/Int>>| = R|<local>/data|.R|one/two/MyDataClass.component1|()
lval <destruct>: R|one/two/MyDataClass| = R|<local>/data|
lval destructuring: R|one/two/MyDataClass.MyClass<one/two/MyDataClass.MyClass<kotlin/Int>>| = R|<local>/<destruct>|.R|one/two/MyDataClass.component1|()
}
public final const val constant: R|kotlin/String| = String()
public get(): R|kotlin/String|
public final class MyClass<A> : R|kotlin/Any| {
public constructor<A>(): R|one/two/MyClass<A>| {
super<R|kotlin/Any|>()
}
}
public final data class MyDataClass : R|kotlin/Any| {
public constructor(prop: R|@R|one/two/Anno|(i = Int(0).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(1).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(2).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) kotlin/Int>>|): R|one/two/MyDataClass| {
super<R|kotlin/Any|>()
}
public final val prop: R|@R|one/two/Anno|(i = Int(0).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(1).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(2).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) kotlin/Int>>| = R|<local>/prop|
public get(): R|@R|one/two/Anno|(i = Int(0).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(1).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(2).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) kotlin/Int>>|
public final class MyClass<B> : R|kotlin/Any| {
public constructor<B>(): R|one/two/MyDataClass.MyClass<B>| {
super<R|kotlin/Any|>()
}
}
public final companion object Companion : R|kotlin/Any| {
private constructor(): R|one/two/MyDataClass.Companion| {
super<R|kotlin/Any|>()
}
public final const val constant: R|kotlin/Int| = Int(0)
public get(): R|kotlin/Int|
}
public final operator fun component1(): R|@R|one/two/Anno|(i = Int(0).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(1).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(2).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) kotlin/Int>>|
public final fun copy(prop: R|@R|one/two/Anno|(i = Int(0).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(1).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) one/two/MyDataClass.MyClass<@R|one/two/Anno|(i = Int(2).R|kotlin/Int.plus|(this@R|one/two/MyDataClass.Companion|.R|one/two/MyDataClass.Companion.constant|)) kotlin/Int>>| = this@R|one/two/MyDataClass|.R|one/two/MyDataClass.prop|): R|one/two/MyDataClass|
}
compiler/testData/diagnostics/tests/dataClasses/propertyTypeCollisionAndAnnotations.kt
Vendored
+28
View File
@@ -0,0 +1,28 @@
// FIR_IDENTICAL
// FIR_DUMP
package one.two
import one.two.MyDataClass.MyClass as Alias
@Target(AnnotationTarget.TYPE)
annotation class Anno(val i: Int)
fun main() {
val value = Alias<Alias<Int>>()
val data = MyDataClass(value)
val copy = data.copy(value)
val prop: Alias<Alias<Int>> = data.prop
val component1: Alias<Alias<Int>> = data.component1()
val (destructuring: Alias<Alias<Int>>) = (data)
}
const val constant = ""
class MyClass<A>
data class MyDataClass(val prop: @Anno(0 + constant) MyClass<@Anno(1 + constant) MyClass<@Anno(2 + constant) Int>>) {
class MyClass<B>
companion object {
const val constant = 0
}
}