[LL FIR] introduce lazy resolution tests for fake overrides

^KT-64243
This commit is contained in:
Dmitrii Gridin
2023-12-12 17:38:38 +01:00
committed by Space Team
parent 6ffa8e6e98
commit b6f0571f0b
118 changed files with 3744 additions and 0 deletions
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/<anonymous>|.R|lowlevel/<anonymous>.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/<anonymous>|.R|lowlevel/<anonymous>.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,6 @@
package lowlevel
val prop = obje<caret>ct {
fun function(i: Int) = i
val property = function(1)
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/<anonymous>|.R|lowlevel/<anonymous>.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/<anonymous>|.R|lowlevel/<anonymous>.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,6 @@
package lowlevel
val prop = obje<caret>ct {
fun function(i: Int) = i
val property = function(1)
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/TopLevelClass|.R|lowlevel/TopLevelClass.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=TopLevelClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,10 @@
public final [ResolvedTo(STATUS)] fun function([ResolvedTo(STATUS)] i: R|kotlin/Int|): <implicit> { LAZY_BLOCK }
public final [ResolvedTo(STATUS)] val property: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] [ContainingClassKey=TopLevelClass] get(): <implicit>
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,6 @@
package lowlevel
class TopL<caret>evelClass {
fun function(i: Int) = i
val property = function(1)
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|lowlevel/TopLevelClass|.R|lowlevel/TopLevelClass.function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=TopLevelClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,10 @@
public final [ResolvedTo(STATUS)] fun function([ResolvedTo(STATUS)] i: R|kotlin/Int|): <implicit> { LAZY_BLOCK }
public final [ResolvedTo(STATUS)] val property: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] [ContainingClassKey=TopLevelClass] get(): <implicit>
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,6 @@
package lowlevel
class TopL<caret>evelClass {
fun function(i: Int) = i
val property = function(1)
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,10 @@
package lowlevel
if (true) {
class MyClas<caret>s {
fun function(i: Int) = i
val property = function(1)
}
}
fun foo() {}
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateInterface
val prop = object<caret> : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateInterface
val prop = object<caret> : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,59 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME| = R|/genericCall|<R|SCHEME|>()
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,55 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.isSchemeFile), SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.anotherFunction), SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirPropertySymbol /BaseClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var propertyWithAnnotations: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateClass<Int>
val prop = object<caret> : IntermediateClass<@Anno("object $constant") Int> by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations = genericCall<SCHEME>()
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,59 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME| = R|/genericCall|<R|SCHEME|>()
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,55 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.isSchemeFile), SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.anotherFunction), SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(str = <strcat>(String(object ), R|/constant|)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirPropertySymbol /BaseClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var propertyWithAnnotations: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateClass<Int>
val prop = object<caret> : IntermediateClass<@Anno("object $constant") Int> by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations = genericCall<SCHEME>()
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,25 @@
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateInterface
class MyClas<caret>s : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence| = R|/genericCall|<R|kotlin/CharSequence|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /BaseInterface.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,25 @@
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateInterface
class MyClas<caret>s : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,53 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.isSchemeFile), SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.anotherFunction), SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirPropertySymbol /BaseClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var propertyWithAnnotations: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
// IGNORE_FIR
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateClass<Int>
class MyC<caret>lass : IntermediateClass<@Anno("class $constant") Int> by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations = genericCall<SCHEME>()
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,53 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.isSchemeFile), SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.isSchemeFile), SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /IntermediateClass.anotherFunction), SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol /BaseClass.anotherFunction), SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(<strcat>(String(class ), constant#)) kotlin/Int}, baseSymbol=FirPropertySymbol /IntermediateClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|Anno|(LAZY_EXPRESSION) SCHEME | MUTABLE_SCHEME -> @R|Anno|(LAZY_EXPRESSION) kotlin/Int}, baseSymbol=FirPropertySymbol /BaseClass.propertyWithAnnotations), SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: <implicit>
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var propertyWithAnnotations: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): <implicit>
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
// IGNORE_FIR
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateClass<Int>
class MyC<caret>lass : IntermediateClass<@Anno("class $constant") Int> by d {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence = genericCall<CharSequence>()) = true
fun anotherFunction(name: CharSequence = genericCall<CharSequence>()) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations = genericCall<SCHEME>()
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,25 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateInterface
val prop = object<caret> : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: CharSequence): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,25 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateInterface
val prop = object<caret> : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: CharSequence): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
@@ -0,0 +1,59 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME| = R|/genericCall|<R|SCHEME|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|SCHEME| = R|/genericCall|<R|SCHEME|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,55 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(LAZY_EXPRESSION) SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateClass<Int>
val prop = objec<caret>t : IntermediateClass<@Anno("object $constant") Int> by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: SCHEME = genericCall<SCHEME>()): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,59 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME| = R|/genericCall|<R|SCHEME|>()): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|SCHEME| = R|/genericCall|<R|SCHEME|>()): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(str = <strcat>(String(super ), R|/constant|)) kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(str = <strcat>(String(super ), R|/constant|)) SCHEME|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseClass] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,55 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(LAZY_EXPRESSION) SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=<anonymous>, delegateField=FirFieldSymbol <local>/<anonymous>.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(str = <strcat>(String(object ), R|/constant|)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
lateinit var d: IntermediateClass<Int>
val prop = objec<caret>t : IntermediateClass<@Anno("object $constant") Int> by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: SCHEME = genericCall<SCHEME>()): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,23 @@
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateInterface
class MyC<caret>lass : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: CharSequence): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
@@ -0,0 +1,35 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun anotherFunction([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^anotherFunction Boolean(true)
}
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Anno|[Types](str = <strcat>(String(property ), R|/constant|)) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(BODY_RESOLVE)] var property: R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=BaseInterface] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /BaseInterface.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|kotlin/Int|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /BaseInterface.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0] var property: R|kotlin/Int|
public abstract [ResolvedTo(STATUS)] var property: R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] get(): R|kotlin/Int|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseInterface] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,23 @@
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateInterface
class MyC<caret>lass : IntermediateInterface by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
interface IntermediateInterface : BaseInterface {
}
interface BaseInterface {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: CharSequence): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: Int
var property: Int
}
@@ -0,0 +1,53 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(LAZY_EXPRESSION) SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
// IGNORE_FIR
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateClass<Int>
class MyC<caret>lass : IntermediateClass<@Anno("class $constant") Int> by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: SCHEME = genericCall<SCHEME>()): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,53 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirNamedFunctionSymbol /IntermediateClass.anotherFunction, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.anotherFunction] fun anotherFunction([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|@R|Anno|(LAZY_EXPRESSION) SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean|
public open [ResolvedTo(STATUS)] fun anotherFunction([ResolvedTo(STATUS)] name: R|SCHEME| = LAZY_EXPRESSION): R|kotlin/Boolean| { LAZY_BLOCK }
@R|Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.propertyWithAnnotations, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] get(): R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass] set([ResolvedTo(STATUS)] value: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.propertyWithAnnotations] var propertyWithAnnotations: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=IntermediateClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|): R|kotlin/Unit|
@R|Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
@PROPERTY_SETTER:R|Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [DelegatedWrapperDataKey=[wrapped=FirPropertySymbol /IntermediateClass.property, containingClass=MyClass, delegateField=FirFieldSymbol /MyClass.$$delegate_0, SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/IntermediateClass.property] var property: R|@R|Anno|(<strcat>(String(class ), constant#)) @R|Anno|(LAZY_EXPRESSION) kotlin/Int|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/BaseClass.property] var property: R|@R|Anno|(LAZY_EXPRESSION) SCHEME|
public abstract [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=BaseClass] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
// IGNORE_FIR
annotation class Anno(val str: String)
val constant = "const"
lateinit var d: IntermediateClass<Int>
class MyC<caret>lass : IntermediateClass<@Anno("class $constant") Int> by d {
override fun isSchemeFile(name: CharSequence): Boolean = name != "str"
}
interface IntermediateClass<SCHEME : @Anno("bound $constant") Number> : BaseClass<@Anno("super $constant") SCHEME, @Anno("super $constant") Int> {
}
interface BaseClass<SCHEME : @Anno("base bound $constant") Number, MUTABLE_SCHEME> {
fun isSchemeFile(name: CharSequence): Boolean = true
fun anotherFunction(name: SCHEME = genericCall<SCHEME>()): Boolean = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,23 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,21 @@
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,19 @@
class <caret>A : B {
override fun foo(x: Int) {
}
override fun foo(x: String) {
}
}
interface B: C, D
interface C {
fun foo(x: Int)
fun foo(x: String)
}
interface D {
fun foo(x: Int)
fun foo(x: String)
}
@@ -0,0 +1,23 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,21 @@
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,19 @@
class <caret>A : B, C {
override fun foo(x: Int) {
}
override fun foo(x: String) {
}
}
interface B: C, D
interface C {
fun foo(x: Int)
fun foo(x: String)
}
interface D {
fun foo(x: Int)
fun foo(x: String)
}
@@ -0,0 +1,23 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,21 @@
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,19 @@
class <caret>A : B, C {
override fun foo(x: Int) {
}
override fun foo(x: String) {
}
}
interface B: C, D
interface C {
fun foo(x: Int)
fun foo(x: String)
}
interface D {
fun foo(x: Int)
fun foo(x: String)
}
@@ -0,0 +1,23 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,21 @@
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|kotlin/Unit|
public open override [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public abstract [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|kotlin/String|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,19 @@
class <caret>A : B {
override fun foo(x: Int) {
}
override fun foo(x: String) {
}
}
interface B: C, D
interface C {
fun foo(x: Int)
fun foo(x: String)
}
interface D {
fun foo(x: Int)
fun foo(x: String)
}
@@ -0,0 +1,49 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverrideFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall<Inapplicable(INAPPLICABLE): second/genericCall>#|<<ERROR TYPE REF: Symbol not found for F>>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|F| = R|second/genericCall|<R|F|>()): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverridePropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public open [ResolvedTo(BODY_RESOLVE)] var bar: R|T| = R|second/genericCall|<R|T|>()
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer argument for type parameter T>): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public open [ResolvedTo(BODY_RESOLVE)] var bar: <ERROR TYPE REF: Cannot infer argument for type parameter T> = R|second/genericCall<Inapplicable(INAPPLICABLE): second/genericCall>#|<<ERROR TYPE REF: Symbol not found for T>>()
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] get(): <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: <ERROR TYPE REF: Cannot infer argument for type parameter T>): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,45 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverrideFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> T}, baseSymbol=FirNamedFunctionSymbol second/C.foo), SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|T| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={F -> T}, baseSymbol=FirNamedFunctionSymbol second/D.foo), SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|F| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverridePropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> T}, baseSymbol=FirPropertySymbol second/C.bar), SubstitutedOverrideOriginalKey=second/C.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] var bar: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] [ContainingClassKey=C] get(): <implicit>
public [ResolvedTo(STATUS)] [ContainingClassKey=C] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={F -> T}, baseSymbol=FirPropertySymbol second/D.bar), SubstitutedOverrideOriginalKey=second/D.bar] var bar: <implicit>
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var bar: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] get(): <implicit>
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = obje<caret>ct : B<@Anno("object $constant") String> {
override fun foo(x: String) = Unit
}
}
interface B<T>: C<T>, D<T>
interface C<T> {
fun foo(x: T = genericCall<T>()) = Unit
var bar = genericCall<T>()
}
interface D<F> {
fun foo(x: F = genericCall<F>()) = Unit
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var bar = genericCall<T>()
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,49 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverrideFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|T| = R|second/genericCall|<R|T|>()): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = R|second/genericCall<Inapplicable(INAPPLICABLE): second/genericCall>#|<<ERROR TYPE REF: Symbol not found for F>>()): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|F| = R|second/genericCall|<R|F|>()): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverridePropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: <implicit>
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public open [ResolvedTo(BODY_RESOLVE)] var bar: R|T| = R|second/genericCall|<R|T|>()
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer argument for type parameter T>): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public open [ResolvedTo(BODY_RESOLVE)] var bar: <ERROR TYPE REF: Cannot infer argument for type parameter T> = R|second/genericCall<Inapplicable(INAPPLICABLE): second/genericCall>#|<<ERROR TYPE REF: Symbol not found for T>>()
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] get(): <ERROR TYPE REF: Cannot infer argument for type parameter T>
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: <ERROR TYPE REF: Cannot infer argument for type parameter T>): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,45 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverrideFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirNamedFunctionSymbol second/B.foo), IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> T}, baseSymbol=FirNamedFunctionSymbol second/C.foo), SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|T| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={F -> T}, baseSymbol=FirNamedFunctionSymbol second/D.foo), SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T| = LAZY_EXPRESSION): <implicit>
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|F| = LAZY_EXPRESSION): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> @R|second/Anno|(str = <strcat>(String(object ), R|second/constant|)) kotlin/String}, baseSymbol=FirIntersectionOverridePropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor=Empty, baseSymbol=FirPropertySymbol second/B.bar), IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={T -> T}, baseSymbol=FirPropertySymbol second/C.bar), SubstitutedOverrideOriginalKey=second/C.bar] var bar: <implicit>
public open [ResolvedTo(STATUS)] var bar: <implicit> = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] [ContainingClassKey=C] get(): <implicit>
public [ResolvedTo(STATUS)] [ContainingClassKey=C] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={F -> T}, baseSymbol=FirPropertySymbol second/D.bar), SubstitutedOverrideOriginalKey=second/D.bar] var bar: <implicit>
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): <implicit>
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public open [ResolvedTo(STATUS)] var bar: <implicit> = LAZY_EXPRESSION
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] get(): <implicit>
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: <implicit>): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = obje<caret>ct : B<@Anno("object $constant") String> {
override fun foo(x: String) = Unit
}
}
interface B<T>: C<T>, D<T>
interface C<T> {
fun foo(x: T = genericCall<T>()) = Unit
var bar = genericCall<T>()
}
interface D<F> {
fun foo(x: F = genericCall<F>()) = Unit
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var bar = genericCall<T>()
}
fun <T> genericCall(): T = null!!
@@ -0,0 +1,47 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|T|): R|kotlin/Unit| {
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|F|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(BODY_RESOLVE)] var bar: R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: R|T|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): R|T|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var bar: R|F|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] get(): R|F|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|F|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,45 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|T|): R|kotlin/Unit| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|F|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(STATUS)] var bar: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=C] set([ResolvedTo(STATUS)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: R|T|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): R|T|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var bar: R|F|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] get(): R|F|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|F|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = obje<caret>ct : B<@Anno("super $constant") String> {
override fun foo(x: String): Unit = Unit
}
}
interface B<T>: C<T>, D<T>
interface C<T> {
fun foo(x: T) {}
var bar: T
}
interface D<F> {
fun foo(x: F) {}
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var bar: F
}
@@ -0,0 +1,47 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|T|): R|kotlin/Unit| {
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|F|): R|kotlin/Unit| {
}
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|
public abstract [ResolvedTo(BODY_RESOLVE)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(BODY_RESOLVE)] var bar: R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=C] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: R|T|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): R|T|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var bar: R|F|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] get(): R|F|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=D] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|F|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,45 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/String|): R|kotlin/Unit| {
^foo Q|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/B.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.foo, SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/C.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|T|): R|kotlin/Unit| { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/D.foo] fun foo([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/x] x: R|T|): R|kotlin/Unit|
public open [ResolvedTo(STATUS)] fun foo([ResolvedTo(STATUS)] x: R|F|): R|kotlin/Unit| { LAZY_BLOCK }
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/B.bar] var bar: R|@R|second/Anno|(str = <strcat>(String(super ), R|second/constant|)) kotlin/String|
public abstract [ResolvedTo(STATUS)] [IntersectionOverrideOriginalKey=second/B.bar, SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/C.bar] var bar: R|T|
public abstract [ResolvedTo(STATUS)] var bar: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=C] get(): R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=C] set([ResolvedTo(STATUS)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/D.bar] var bar: R|T|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] get(): R|T|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=B, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|T|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public abstract [ResolvedTo(STATUS)] var bar: R|F|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] get(): R|F|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=D] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|F|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = obje<caret>ct : B<@Anno("super $constant") String> {
override fun foo(x: String): Unit = Unit
}
}
interface B<T>: C<T>, D<T>
interface C<T> {
fun foo(x: T) {}
var bar: T
}
interface D<F> {
fun foo(x: F) {}
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var bar: F
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,8 @@
package lowlevel
fun foo() {
class MyClas<caret>s {
fun function(i: Int) = i
val property = function(1)
}
}
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,12 @@
public final [ResolvedTo(BODY_RESOLVE)] fun function([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Int| {
^function R|<local>/i|
}
public final [ResolvedTo(BODY_RESOLVE)] val property: R|kotlin/Int| = this@R|<local>/MyClass|.R|<local>/function|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass] get(): R|kotlin/Int|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,8 @@
package lowlevel
fun foo() {
class MyClas<caret>s {
fun function(i: Int) = i
val property = function(1)
}
}
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(str = <strcat>(String(super2 ), R|second/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(str = <strcat>(String(super2 ), R|second/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,22 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = objec<caret>t : LazySchemeProcessor<@Anno("super1 $constant") Int, @Anno("super2 $constant") Int>() {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
abstract class LazySchemeProcessor<SCHEME : @Anno("bound1 $constant") Number, MUTABLE_SCHEME : @Anno("bound2 $constant") SCHEME> {
open fun isSchemeFile(name: CharSequence) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(str = <strcat>(String(super2 ), R|second/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,29 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(str = <strcat>(String(super2 ), R|second/constant|)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=<anonymous>, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,22 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyClass {
val prop = objec<caret>t : LazySchemeProcessor<@Anno("super1 $constant") Int, @Anno("super2 $constant") Int>() {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
}
abstract class LazySchemeProcessor<SCHEME : @Anno("bound1 $constant") Number, MUTABLE_SCHEME : @Anno("bound2 $constant") SCHEME> {
open fun isSchemeFile(name: CharSequence) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(<strcat>(String(super2 ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
public final [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,20 @@
package second
annotation class Anno(val str: String)
val constant = "const"
class MyC<caret>lass : LazySchemeProcessor<@Anno("super1 $constant") Int, @Anno("super2 $constant") Int>() {
override fun isSchemeFile(name: CharSequence) = name != "str"
}
abstract class LazySchemeProcessor<SCHEME : @Anno("bound1 $constant") Number, MUTABLE_SCHEME : @Anno("bound2 $constant") SCHEME> {
open fun isSchemeFile(name: CharSequence) = true
@Anno("property $constant")
@get:Anno("property $constant")
@set:Anno("property $constant")
@setparam:Anno("property $constant")
var propertyWithAnnotations: SCHEME
var property: SCHEME
}
@@ -0,0 +1,31 @@
public open override [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile !=(R|<local>/name|, String(str))
}
public open [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun isSchemeFile([ResolvedTo(BODY_RESOLVE)] name: R|kotlin/CharSequence|): R|kotlin/Boolean| {
^isSchemeFile Boolean(true)
}
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public final [ResolvedTo(BODY_RESOLVE)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](str = <strcat>(String(property ), R|second/constant|)) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(str = <strcat>(String(super1 ), R|second/constant|)) kotlin/Int|
public final [ResolvedTo(BODY_RESOLVE)] var property: R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(BODY_RESOLVE)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|
@@ -0,0 +1,27 @@
public open override [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
public open [ResolvedTo(STATUS)] [CallableCopySubstitutionKey=CallableCopySubstitution(substitutor={SCHEME -> @R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int | MUTABLE_SCHEME -> @R|second/Anno|(<strcat>(String(super2 ), constant#)) kotlin/Int}, baseSymbol=FirNamedFunctionSymbol second/LazySchemeProcessor.isSchemeFile), SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.isSchemeFile] fun isSchemeFile([ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=<local>/name] name: R|kotlin/CharSequence|): <implicit>
public open [ResolvedTo(STATUS)] fun isSchemeFile([ResolvedTo(STATUS)] name: R|kotlin/CharSequence|): <implicit> { LAZY_BLOCK }
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.propertyWithAnnotations] var propertyWithAnnotations: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=MyClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|): R|kotlin/Unit|
@R|second/Anno|[Types](LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] var propertyWithAnnotations: R|SCHEME|
@PROPERTY_GETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
@PROPERTY_SETTER:R|second/Anno|[Types](LAZY_EXPRESSION) public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] @SETTER_PARAMETER:R|second/Anno|[Types](LAZY_EXPRESSION) value: R|SCHEME|): R|kotlin/Unit|
public final [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/LazySchemeProcessor.property] var property: R|@R|second/Anno|(<strcat>(String(super1 ), constant#)) kotlin/Int|
public final [ResolvedTo(STATUS)] var property: R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] get(): R|SCHEME|
public [ResolvedTo(STATUS)] [ContainingClassKey=LazySchemeProcessor] set([ResolvedTo(STATUS)] value: R|SCHEME|): R|kotlin/Unit|
public open operator [ResolvedTo(BODY_RESOLVE)] fun equals([ResolvedTo(BODY_RESOLVE)] other: R|kotlin/Any?|): R|kotlin/Boolean|
public open [ResolvedTo(BODY_RESOLVE)] fun hashCode(): R|kotlin/Int|
public open [ResolvedTo(BODY_RESOLVE)] fun toString(): R|kotlin/String|

Some files were not shown because too many files have changed in this diff Show More