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

[LL FIR] support lazy resolution for synthetic properties and accessors

Browse Source 
Such declarations are just wrappers, so we should delegate
resolution to the original declarations

^KT-61990 Fixed
This commit is contained in:
Dmitrii Gridin
2023-10-13 18:50:11 +02:00
committed by Space Team
parent 2d1d5fb3a8
commit 976fb7d093
12 changed files with 632 additions and 399 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/api/FirDesignation.kt
+2 -4
View File
@@ -18,6 +18,7 @@ import org.jetbrains.kotlin.descriptors.Visibilities
import org.jetbrains.kotlin.fir.*
import org.jetbrains.kotlin.fir.declarations.*
import org.jetbrains.kotlin.fir.declarations.synthetic.FirSyntheticProperty
import org.jetbrains.kotlin.fir.declarations.synthetic.FirSyntheticPropertyAccessor
import org.jetbrains.kotlin.fir.declarations.utils.isLocal
import org.jetbrains.kotlin.fir.diagnostics.ConeDestructuringDeclarationsOnTopLevel
import org.jetbrains.kotlin.fir.expressions.FirStatement
@@ -223,10 +224,6 @@ private fun collectDesignationPathWithTreeTraversal(target: FirDeclaration): Lis
}
private fun getTargetSession(target: FirDeclaration): FirSession {
if (target is FirSyntheticProperty) {
return getTargetSession(target.getter)
}
if (target is FirCallableDeclaration) {
val containingSymbol = target.containingClassLookupTag()?.toSymbol(target.moduleData.session)
if (containingSymbol != null) {
@@ -281,6 +278,7 @@ fun FirElementWithResolveState.tryCollectDesignationWithFile(): FirDesignationWi
FirDesignationWithFile(path = emptyList(), this, firFile)
}
is FirSyntheticProperty, is FirSyntheticPropertyAccessor -> unexpectedElementError<FirElementWithResolveState>(this)
is FirDeclaration -> {
val scriptDesignation = scriptDesignation()
if (scriptDesignation != null) return scriptDesignation
analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/lazy/resolve/LLFirResolveMultiDesignationCollector.kt
+4 -3
View File
@@ -22,6 +22,8 @@ import org.jetbrains.kotlin.fir.declarations.synthetic.FirSyntheticPropertyAcces
internal object LLFirResolveMultiDesignationCollector {
fun getDesignationsToResolve(target: FirElementWithResolveState): List<LLFirResolveTarget> = when (target) {
is FirFile -> listOf(LLFirSingleResolveTarget(target))
is FirSyntheticPropertyAccessor -> getDesignationsToResolve(target.delegate)
is FirSyntheticProperty -> getDesignationsToResolve(target.getter) + target.setter?.let(::getDesignationsToResolve).orEmpty()
else -> getMainDesignationToResolve(target)?.withAnnotationContainer()
} ?: emptyList()
@@ -76,12 +78,11 @@ internal object LLFirResolveMultiDesignationCollector {
is FirDeclarationOrigin.SamConstructor,
is FirDeclarationOrigin.WrappedIntegerOperator,
is FirDeclarationOrigin.IntersectionOverride,
is FirDeclarationOrigin.ScriptCustomization
is FirDeclarationOrigin.ScriptCustomization,
-> {
when (this) {
is FirFile -> true
is FirSyntheticProperty -> false
is FirSyntheticPropertyAccessor -> false
is FirSyntheticProperty, is FirSyntheticPropertyAccessor -> false
is FirSimpleFunction,
is FirProperty,
is FirPropertyAccessor,
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnType.txt
Vendored
+34 -18
View File
@@ -97,8 +97,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -106,13 +106,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
}
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -120,13 +120,15 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
}
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -134,13 +136,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -148,13 +154,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -162,13 +172,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -176,7 +190,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnTypeAndAnnotations.txt
Vendored
+58 -36
View File
@@ -174,8 +174,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -183,7 +183,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -199,8 +199,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -208,7 +208,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -220,12 +220,14 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -233,7 +235,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -245,12 +249,14 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -258,7 +264,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -270,12 +278,14 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] val something: R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String|
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -283,24 +293,31 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String| {
^getSomething String(str).also#(::println#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] val something: R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String|
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String| {
^getSomething String(str).R|kotlin/also|<R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String|>(::R|kotlin/io/println|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -308,20 +325,25 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|@R|Anno|(<strcat>(String(type: ), prop#)) kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String| {
^getSomething String(str).R|kotlin/also|<R|@R|Anno|(s = <strcat>(String(type: ), R|/prop|)) kotlin/String|>(::R|kotlin/io/println|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt
Vendored
+30 -18
View File
@@ -97,8 +97,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] val something: <implicit>
public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -106,13 +106,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] val something: <implicit>
public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -120,13 +120,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] val something: <implicit>
public [<synthetic> ResolvedTo(CONTRACTS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -134,13 +134,15 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(CONTRACTS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -148,13 +150,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -162,13 +168,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] val something: R|kotlin/String|
public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -176,7 +186,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
}
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt
Vendored
+60 -42
View File
@@ -188,8 +188,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -197,7 +197,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -215,8 +215,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] val something: <implicit>
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -224,7 +224,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -236,14 +236,14 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] val something: <implicit>
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -251,7 +251,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -263,14 +263,16 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] val something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -278,7 +280,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -290,14 +294,16 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] val something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -305,26 +311,33 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] val something: <implicit>
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] val something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -332,22 +345,27 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt
Vendored
+54 -36
View File
@@ -181,7 +181,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -189,7 +189,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -207,7 +207,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -215,7 +215,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -227,13 +227,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
CONTRACTS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -241,7 +241,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -253,13 +253,15 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(number: ), prop#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -267,7 +269,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(number: ), prop#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -279,13 +283,15 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val prop: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -293,25 +299,32 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -319,22 +332,27 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(number: ), R|/prop|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething <strcat>(String(body: ), R|/propertyFromBody|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/secondGenerationOverride.txt
Vendored
+110 -70
View File
@@ -307,9 +307,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -317,9 +317,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun setSomething([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -351,9 +351,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] set([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -361,9 +361,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun setSomething([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -385,19 +385,21 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -405,9 +407,11 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun setSomething([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -429,19 +433,23 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -449,9 +457,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation getSomething: ), getterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(second generation setSomething: ), setterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun setSomething([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -473,19 +485,23 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] var something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(second generation getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](s = <strcat>(String(second generation setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] set([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -493,9 +509,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(second generation getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(second generation setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun setSomething([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -508,28 +528,38 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] var something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(second generation getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
@R|Anno|[Types](s = <strcat>(String(second generation setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {
@@ -537,9 +567,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|KotlinBase|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(second generation getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(second generation setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun setSomething([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(<strcat>(String(str ), R|<local>/s|))
}
}
public open [ResolvedTo(STATUS)] class KotlinBase : R|Base| {
@@ -552,23 +586,29 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnType.txt
Vendored
+54 -30
View File
@@ -118,9 +118,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -128,16 +128,16 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun setSomething([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] set([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -145,16 +145,19 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun setSomething([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|kotlin/String| {
^getSomething String(42)
}
public [<synthetic> ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] s: R|kotlin/String|): R|kotlin/Unit| {
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -162,16 +165,22 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(CONTRACTS)] fun setSomething([ResolvedTo(CONTRACTS)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| {
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -179,16 +188,22 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun setSomething([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
^getSomething String(42)
}
public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] set([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|kotlin/String|): R|kotlin/Unit| {
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -196,16 +211,22 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun setSomething([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] var something: R|kotlin/String|
public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
^getSomething String(42)
}
public [<synthetic> ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| {
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -213,9 +234,12 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
^getSomething String(42)
}
public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public open override [ResolvedTo(BODY_RESOLVE)] fun setSomething([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| {
}
}
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotations.txt
Vendored
+114 -70
View File
@@ -237,9 +237,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> EXPECT_ACTUAL_MATCHING] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -247,9 +247,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun setSomething([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -271,9 +271,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ARGUMENTS_OF_ANNOTATIONS] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] set([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -281,9 +281,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun setSomething([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -295,19 +295,23 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
CONTRACTS:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> CONTRACTS] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -315,9 +319,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun setSomething([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -329,19 +337,23 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> IMPLICIT_TYPES_BODY_RESOLVE] var something: R|kotlin/String|
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -349,9 +361,13 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun setSomething([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -363,19 +379,23 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> ANNOTATIONS_ARGUMENTS_MAPPING] var something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] set([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -383,33 +403,47 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun setSomething([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
println#(s#)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
BODY_RESOLVE:
TARGET: public open override [<synthetic> STATUS] var something: R|kotlin/String|
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
TARGET: public open override [<synthetic> BODY_RESOLVE] var something: R|kotlin/String|
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
R|kotlin/io/println|(R|<local>/s|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -417,28 +451,38 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun setSomething([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
R|kotlin/io/println|(R|<local>/s|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt
Vendored
+54 -32
View File
@@ -223,7 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -231,7 +231,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@@ -255,7 +255,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] get(): R|kotlin/String| { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -263,7 +263,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@@ -277,8 +277,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
@@ -287,7 +287,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
CONTRACTS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -295,7 +297,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@@ -309,8 +313,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
@@ -319,7 +323,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -327,7 +333,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(getSomething: ), getterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
@@ -341,8 +349,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val getterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
@@ -351,7 +359,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] get(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -359,22 +369,27 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), propertyFromBody#)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
@@ -383,7 +398,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -391,26 +408,31 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
LAZY_super<R|Base|>
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(getSomething: ), R|/getterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| {
<strcat>(String(body: ), R|/propertyFromBody|)
}
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val getterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromBody: R|kotlin/String| = String(str).R|kotlin/String.plus|(Int(1).R|kotlin/Int.toString|())
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt
Vendored
+58 -40
View File
@@ -223,7 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
EXPECT_ACTUAL_MATCHING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -233,7 +233,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun setSomething([ResolvedTo(EXPECT_ACTUAL_MATCHING)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -255,7 +255,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
ARGUMENTS_OF_ANNOTATIONS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] set([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -265,7 +265,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun setSomething([ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -279,15 +279,15 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
CONTRACTS:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -297,7 +297,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(CONTRACTS)] fun setSomething([ResolvedTo(CONTRACTS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -311,15 +311,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public [<synthetic> ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -329,7 +331,9 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](<strcat>(String(setSomething: ), setterProperty#)) public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun setSomething([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
@@ -343,15 +347,17 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val setterProperty: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(STATUS)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): <implicit>
ANNOTATIONS_ARGUMENTS_MAPPING:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] set([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -361,29 +367,36 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] fun setSomething([ResolvedTo(ANNOTATIONS_ARGUMENTS_MAPPING)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
BODY_RESOLVE:
TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
TARGET: @R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public [<synthetic> ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
FILE: [ResolvedTo(IMPORTS)] Derived.kt
public final [ResolvedTo(STATUS)] class Derived : R|Base| {
@@ -393,26 +406,31 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open override [ResolvedTo(STATUS)] fun setSomething([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#)) kotlin/String|): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](s = <strcat>(String(setSomething: ), R|/setterProperty|)) public open override [ResolvedTo(BODY_RESOLVE)] fun setSomething([ResolvedTo(BODY_RESOLVE)] s: R|@R|Anno|(s = <strcat>(String(setter type ), R|/propertyFromSetter|)) kotlin/String|): R|kotlin/Unit| {
^setSomething R|kotlin/io/println|(R|<local>/s|)
}
}
@R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Anno : R|kotlin/Annotation| {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.s] s: String): R|Anno| {
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.FUNCTION|, Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String
public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] val getterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val setterProperty: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val setterProperty: R|kotlin/Int| = Int(2).R|kotlin/let|<R|kotlin/Int|, R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=kotlin/Function1<T, R>] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Int| <inline=Inline, kind=EXACTLY_ONCE> {
^ R|<local>/it|.R|kotlin/Int.plus|(Int(1))
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public? final? [ResolvedTo(RAW_FIR)] val propertyFromBody: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? final? [ResolvedTo(RAW_FIR)] val propertyFromSetter: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val propertyFromSetter: R|kotlin/String| = Int(1).R|kotlin/Int.toString|().R|kotlin/String.plus|(String(2))
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] Derived.kt