[FIR] rename ANNOTATIONS_ARGUMENTS_MAPPING phase to ANNOTATION_ARGUMENTS

^KT-62679
This commit is contained in:
Dmitrii Gridin
2023-10-18 18:16:56 +02:00
committed by Space Team
parent a86bae2c32
commit 3817f37011
483 changed files with 1021 additions and 1023 deletions
@@ -50,9 +50,9 @@ FILE: [ResolvedTo(IMPORTS)] contract.kt
block#()
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] contract.kt
public final inline [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| {
public final inline [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| {
Q|kotlin|.<Unresolved name: contracts>#.<Unresolved name: contract>#(<L> = [ResolvedTo(RAW_FIR)] contract@fun <anonymous>(): <ERROR TYPE REF: Unresolved name: callsInPlace> <inline=Unknown> {
^ <Unresolved name: callsInPlace>#(R|<local>/block|, <Unresolved name: InvocationKind>#.<Unresolved name: EXACTLY_ONCE>#)
}
@@ -66,9 +66,9 @@ FILE: [ResolvedTo(IMPORTS)] contract.kt
block#()
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] contract.kt
public final inline [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] block: R|() -> kotlin/Unit|): R|kotlin/Unit|
public final inline [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] block: R|() -> kotlin/Unit|): R|kotlin/Unit|
[R|Contract description]
<
CallsInPlace(block, EXACTLY_ONCE)
@@ -116,13 +116,13 @@ FILE: [ResolvedTo(IMPORTS)] contractScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] contractScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-contractScript.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
public final inline [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] block: R|() -> kotlin/Unit|): R|kotlin/Unit|
public final inline [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] block: R|() -> kotlin/Unit|): R|kotlin/Unit|
[R|Contract description]
<
CallsInPlace(block, EXACTLY_ONCE)
@@ -88,10 +88,10 @@ FILE: [ResolvedTo(IMPORTS)] contractScript2.kts
public? final? inline [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] block: ( () -> Unit )): R|kotlin/Unit| { LAZY_BLOCK }
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] contractScript2.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] <script-contractScript2.kts>
SCRIPT: [ResolvedTo(ANNOTATION_ARGUMENTS)] <script-contractScript2.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
public? final? inline [ResolvedTo(RAW_FIR)] fun foo([ResolvedTo(RAW_FIR)] block: ( () -> Unit )): R|kotlin/Unit| { LAZY_BLOCK }
@@ -112,7 +112,7 @@ FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResult.kt
[ResolvedTo(RAW_FIR)] lval x: <implicit> = bar#()
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResult.kt
public? open [ResolvedTo(RAW_FIR)] class Foo<[ResolvedTo(RAW_FIR)] T : CharSequence> : R|kotlin/Any| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo] constructor<[ResolvedTo(RAW_FIR)] T : CharSequence>(): R|Foo<T>| {
@@ -121,7 +121,7 @@ FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResult.kt
}
public? final? [ResolvedTo(RAW_FIR)] fun bar(): Foo<String>? { LAZY_BLOCK }
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun resolveMe(): R|kotlin/Unit| {
[ResolvedTo(RAW_FIR)] lval x: <implicit> = bar#()
}
@@ -182,7 +182,7 @@ FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResultScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResultScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-functionCallWithGenericResultScript.kts>
@@ -197,7 +197,7 @@ FILE: [ResolvedTo(IMPORTS)] functionCallWithGenericResultScript.kts
public? final? [ResolvedTo(RAW_FIR)] fun bar(): Foo<String>? { LAZY_BLOCK }
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun resolveMe(): R|kotlin/Unit| {
[ResolvedTo(RAW_FIR)] lval x: <implicit> = bar#()
}
@@ -40,9 +40,9 @@ FILE: [ResolvedTo(IMPORTS)] functionParameter.kt
^foo String(boo)
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionParameter.kt
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] param: R|kotlin/Int|): R|kotlin/String| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] param: R|kotlin/Int|): R|kotlin/String| {
^foo String(boo)
}
@@ -90,13 +90,13 @@ FILE: [ResolvedTo(IMPORTS)] functionParameterScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionParameterScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-functionParameterScript.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] param: R|kotlin/Int|): R|kotlin/String| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] param: R|kotlin/Int|): R|kotlin/String| {
^foo String(boo)
}
@@ -172,7 +172,7 @@ FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInside.kt
[ResolvedTo(RAW_FIR)] lval x: Foo<String> = bar#()
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInside.kt
public? open [ResolvedTo(RAW_FIR)] class Foo<[ResolvedTo(RAW_FIR)] T : CharSequence> : R|kotlin/Any| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Foo] constructor<[ResolvedTo(RAW_FIR)] T : CharSequence>(): R|Foo<T>| {
@@ -187,7 +187,7 @@ FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInside.kt
}
public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> { LAZY_BLOCK }
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun resolveMe(): R|kotlin/Unit| {
[ResolvedTo(RAW_FIR)] lval x: Foo<String> = bar#()
}
@@ -252,7 +252,7 @@ FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInsideScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInsideScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-functionWithGenericExpectedTypeInsideScript.kts>
@@ -274,7 +274,7 @@ FILE: [ResolvedTo(IMPORTS)] functionWithGenericExpectedTypeInsideScript.kts
public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> { LAZY_BLOCK }
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun resolveMe(): R|kotlin/Unit| {
[ResolvedTo(RAW_FIR)] lval x: Foo<String> = bar#()
}
@@ -40,9 +40,9 @@ FILE: [ResolvedTo(IMPORTS)] functionWithTypeParameters.kt
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun <[ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] T : R|kotlin/Int|, [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] K> resolveMe(): R|kotlin/Unit| {
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionWithTypeParameters.kt
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun <[ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] T : R|kotlin/Int|, [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] K> resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun <[ResolvedTo(ANNOTATION_ARGUMENTS)] T : R|kotlin/Int|, [ResolvedTo(ANNOTATION_ARGUMENTS)] K> resolveMe(): R|kotlin/Unit| {
}
BODY_RESOLVE:
@@ -90,13 +90,13 @@ FILE: [ResolvedTo(IMPORTS)] functionWithTypeParametersScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] functionWithTypeParametersScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-functionWithTypeParametersScript.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun <[ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] T : R|kotlin/Int|, [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] K> resolveMe(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun <[ResolvedTo(ANNOTATION_ARGUMENTS)] T : R|kotlin/Int|, [ResolvedTo(ANNOTATION_ARGUMENTS)] K> resolveMe(): R|kotlin/Unit| {
}
@@ -290,7 +290,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
@@ -315,7 +315,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverride.kt
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -700,7 +700,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass.kt
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
@@ -755,7 +755,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass.kt
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -700,7 +700,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2.kt
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
@@ -764,7 +764,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2.kt
LAZY_super<R|OuterClass.NestedClass|>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun bar([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|kotlin/String|): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun bar([ResolvedTo(ANNOTATION_ARGUMENTS)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
@@ -780,7 +780,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2Script.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2Script.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-hierarchyWithOverrideAndNestedClass2Script.kts>
@@ -851,7 +851,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass2Script.kts
LAZY_super<R|OuterClass.NestedClass|>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun bar([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|kotlin/String|): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun bar([ResolvedTo(ANNOTATION_ARGUMENTS)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
@@ -700,7 +700,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3.kt
public abstract [ResolvedTo(STATUS)] interface Foo1 : R|kotlin/Any| {
public abstract [ResolvedTo(STATUS)] fun foo(): R|kotlin/Unit|
@@ -746,7 +746,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3.kt
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -780,7 +780,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3Script.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3Script.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-hierarchyWithOverrideAndNestedClass3Script.kts>
@@ -833,7 +833,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClass3Script.kts
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -780,7 +780,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClassScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClassScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-hierarchyWithOverrideAndNestedClassScript.kts>
@@ -842,7 +842,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideAndNestedClassScript.kts
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -360,7 +360,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-hierarchyWithOverrideScript.kts>
@@ -391,7 +391,7 @@ FILE: [ResolvedTo(IMPORTS)] hierarchyWithOverrideScript.kts
LAZY_super<<implicit>>
}
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
}
@@ -148,10 +148,10 @@ FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride.kt
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 abstract override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
@@ -148,10 +148,10 @@ FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2.kt
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 abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit|
}
public? final? [ResolvedTo(SUPER_TYPES)] interface Foo2 : <ERROR TYPE REF: Loop in supertype: /Foo2 -> /Foo3> {
@@ -218,14 +218,14 @@ FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2Script.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverride2Script.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-simpleLoopInOverride2Script.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
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 abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit|
}
@@ -218,14 +218,14 @@ FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverrideScript.kts
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] simpleLoopInOverrideScript.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(TYPES)] <script-simpleLoopInOverrideScript.kts>
[ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|
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 abstract override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit|
}
@@ -130,7 +130,7 @@ FILE: [ResolvedTo(IMPORTS)] typeArgumentInAnnotation.kt
@R|Foo<kotlin/Int>|[Types](LAZY_EXPRESSION) public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] typeArgumentInAnnotation.kt
public final [ResolvedTo(STATUS)] annotation class Foo<[ResolvedTo(STATUS)] T> : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo] constructor<[ResolvedTo(STATUS)] T>([ResolvedTo(STATUS)] [CorrespondingProperty=/Foo.s] s: R|kotlin/String|): R|Foo<T>| {
@@ -141,7 +141,7 @@ FILE: [ResolvedTo(IMPORTS)] typeArgumentInAnnotation.kt
public [ResolvedTo(STATUS)] [ContainingClassKey=Foo] get(): R|kotlin/String|
}
@R|Foo<kotlin/Int>|[Types](s = String()) public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo(): R|kotlin/Unit| {
@R|Foo<kotlin/Int>|[Types](s = String()) public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo(): R|kotlin/Unit| {
}
BODY_RESOLVE:
@@ -40,9 +40,9 @@ FILE: [ResolvedTo(IMPORTS)] unresolvedAnnotationOnFunctionType.kt
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] a: <ERROR TYPE REF: Symbol not found for Foo>): <ERROR TYPE REF: Symbol not found for Foo> {
}
ANNOTATIONS_ARGUMENTS_MAPPING:
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] unresolvedAnnotationOnFunctionType.kt
public final [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun foo([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] a: <ERROR TYPE REF: Symbol not found for Foo>): <ERROR TYPE REF: Symbol not found for Foo> {
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun foo([ResolvedTo(ANNOTATION_ARGUMENTS)] a: <ERROR TYPE REF: Symbol not found for Foo>): <ERROR TYPE REF: Symbol not found for Foo> {
}
BODY_RESOLVE: