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

[LL FIR] add more lazy resolve tests on status phase

Browse Source 
^KT-56551
This commit is contained in:
Dmitrii Gridin
2023-05-11 17:35:40 +02:00
parent 0b09be73c6
commit 25506d3be6
42 changed files with 14850 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverride.kt
Vendored
+15
View File
@@ -0,0 +1,15 @@
interface Foo1 {
fun foo()
fun bar()
val str: String
}
interface Foo2 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
abstract class Usage : Foo2 {
override fun fo<caret>o() {}
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverride.txt
Vendored
+424
View File
@@ -0,0 +1,424 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo1 {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(RAW_FIR)] class Usage : Foo2 {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo1 {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(RAW_FIR)] class Usage : Foo2 {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo1 {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(RAW_FIR)] class Usage : Foo2 {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo1 {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(RAW_FIR)] class Usage : Foo2 {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(COMPANION_GENERATION)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : R|Foo1| {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(SUPER_TYPES)] class Usage : R|Foo2| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(SUPER_TYPES)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
TYPES:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo1 : R|kotlin/Any| {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val str: String
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo1] get(): String
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : R|Foo1| {
public? final? [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] i: Int): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] fun bar([ResolvedTo(RAW_FIR)] s: String): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val isBoo: Boolean
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo2] get(): Boolean
}
public? abstract [ResolvedTo(TYPES)] class Usage : R|Foo2| {
public? [ResolvedTo(TYPES)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public? open? override [ResolvedTo(TYPES)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
STATUS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
ARGUMENTS_OF_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
}
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| {
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
}
}
ANNOTATIONS_ARGUMENTS_MAPPING:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
}
}
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val str: R|kotlin/String|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(STATUS)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun bar([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(STATUS)] class Usage : R|Foo2| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Usage] constructor(): R|Usage| {
LAZY_super<<implicit>>
}
public open override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
}
}
FILE RAW TO BODY:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun bar(): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] val str: R|kotlin/String|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Foo1] get(): R|kotlin/String|
}
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo2 : R|Foo1| {
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun bar([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] val isBoo: R|kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Foo2] get(): R|kotlin/Boolean|
}
public abstract [ResolvedTo(BODY_RESOLVE)] class Usage : R|Foo2| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Usage] constructor(): R|Usage| {
super<R|kotlin/Any|>()
}
public open override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
}
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass.kt
Vendored
+37
View File
@@ -0,0 +1,37 @@
interface Foo1 {
fun foo()
fun bar()
val str: String
class ClassFromInterface
}
interface Foo2 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
interface Foo3 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
abstract class OuterClass : Foo1 {
class SimpleNestedClass {
fun foo() {
}
}
abstract class NestedClass : Foo2 {
override fun fo<caret>o() {}
}
abstract class AnotherNestedClass : NestedClass() {
override fun bar(s: String) {
}
}
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass.txt
Vendored
+1000
View File
File diff suppressed because it is too large Load Diff
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass2.kt
Vendored
+37
View File
@@ -0,0 +1,37 @@
interface Foo1 {
fun foo()
fun bar()
val str: String
class ClassFromInterface
}
interface Foo2 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
interface Foo3 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
abstract class OuterClass : Foo1 {
class SimpleNestedClass {
fun foo() {
}
}
abstract class NestedClass : Foo2 {
override fun foo() {}
}
abstract class AnotherNestedClass : NestedClass() {
override fun b<caret>ar(s: String) {
}
}
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass2.txt
Vendored
+1000
View File
File diff suppressed because it is too large Load Diff
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass3.kt
Vendored
+37
View File
@@ -0,0 +1,37 @@
interface Foo1 {
fun foo()
fun bar()
val str: String
class ClassFromInterface
}
interface Foo2 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
interface Foo3 : Foo1 {
fun foo(i: Int)
fun bar(s: String)
val isBoo: Boolean
}
abstract class OuterClass : Foo1 {
class SimpleNestedClass {
fun f<caret>oo() {
}
}
abstract class NestedClass : Foo2 {
override fun foo() {}
}
abstract class AnotherNestedClass : NestedClass() {
override fun bar(s: String) {
}
}
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/hierarchyWithOverrideAndNestedClass3.txt
Vendored
+1000
View File
File diff suppressed because it is too large Load Diff
analysis/low-level-api-fir/testdata/lazyResolve/functions/simpleLoopInOverride.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
interface Foo1 : Foo2 {
override fun f<caret>oo()
}
interface Foo2 : Foo3 {
override fun foo()
}
interface Foo3 : Foo1 {
override fun foo()
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/simpleLoopInOverride.txt
Vendored
+223
View File
@@ -0,0 +1,223 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? open? override [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? open? override [ResolvedTo(COMPANION_GENERATION)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public? open? override [ResolvedTo(SUPER_TYPES)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
TYPES:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(TYPES)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public? open? override [ResolvedTo(TYPES)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
STATUS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
ARGUMENTS_OF_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
ANNOTATIONS_ARGUMENTS_MAPPING:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
FILE RAW TO BODY:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/simpleLoopInOverride2.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
interface Foo1 : Foo2 {
fun f<caret>oo()
}
interface Foo2 : Foo3 {
override fun foo()
}
interface Foo3 : Foo1 {
override fun foo()
}
analysis/low-level-api-fir/testdata/lazyResolve/functions/simpleLoopInOverride2.txt
Vendored
+223
View File
@@ -0,0 +1,223 @@
RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(RAW_FIR)] interface Foo1 : Foo2 {
public? final? [ResolvedTo(COMPANION_GENERATION)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo2 : Foo3 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(RAW_FIR)] interface Foo3 : Foo1 {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public? final? [ResolvedTo(SUPER_TYPES)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
TYPES:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public? final? [ResolvedTo(TYPES)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public? final? [ResolvedTo(TYPES)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
STATUS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
ARGUMENTS_OF_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
ANNOTATIONS_ARGUMENTS_MAPPING:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(RAW_FIR)] annotations container
public abstract [ResolvedTo(STATUS)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public? open? override [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
}
FILE RAW TO BODY:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo1 : <ERROR TYPE REF: Loop in supertype: /Foo1 -> /Foo2> {
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}
public abstract [ResolvedTo(BODY_RESOLVE)] interface Foo3 : <ERROR TYPE REF: Loop in supertype: /Foo3 -> /Foo1> {
public abstract override [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit|
}