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

[LL FIR] add lazy resolve tests for substitution override on function

Browse Source 
^KT-63042
This commit is contained in:
Dmitrii Gridin
2023-11-06 19:04:28 +01:00
committed by Space Team
parent 9506f3d1f4
commit b0d72c6292
25 changed files with 2545 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testData/lazyResolve/substitutionFakeOverrideScript.txt
Vendored
+26 -25
View File
@@ -1,5 +1,5 @@
RAW_FIR:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -19,14 +19,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
IMPORTS:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -46,14 +46,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
COMPILER_REQUIRED_ANNOTATIONS:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -73,14 +73,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
COMPANION_GENERATION:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -100,14 +100,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
SUPER_TYPES:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -127,14 +127,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
TYPES:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -154,14 +154,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
STATUS:
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -181,14 +181,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
EXPECT_ACTUAL_MATCHING:
TARGET: public abstract [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -208,14 +208,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
CONTRACTS:
TARGET: public abstract [ResolvedTo(CONTRACTS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(CONTRACTS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -235,14 +235,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
IMPLICIT_TYPES_BODY_RESOLVE:
TARGET: public abstract [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -262,14 +262,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
ANNOTATION_ARGUMENTS:
TARGET: public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -289,14 +289,14 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
BODY_RESOLVE:
TARGET: public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val property: R|kotlin/Int|
TARGET: public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=/AbstractClass.property] val R|kotlin/Int|.property: R|kotlin/Int|
FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
@@ -316,7 +316,7 @@ FILE: [ResolvedTo(IMPORTS)] substitutionFakeOverrideScript.kts
LAZY_super<R|kotlin/Any|>
}
public abstract [ResolvedTo(STATUS)] val property: R|T|
public abstract [ResolvedTo(STATUS)] val R|T|.property: R|T|
public [ResolvedTo(STATUS)] [ContainingClassKey=AbstractClass] get(): R|T|
}
@@ -340,7 +340,8 @@ FILE: [ResolvedTo(BODY_RESOLVE)] substitutionFakeOverrideScript.kts
super<R|kotlin/Any|>()
}
public abstract [ResolvedTo(BODY_RESOLVE)] val property: R|T|
public abstract [ResolvedTo(BODY_RESOLVE)] val R|T|.property: R|T|
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] get(): R|T|
}