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

[FIR] Do not get expressions from contract effect list in lazy mode

Browse Source 
Eleventh step for ^KT-52615
This commit is contained in:
Egor Kulikov
2023-02-16 17:36:50 +01:00
committed by Space Team
parent c564dd973b
commit d670e5a695
5 changed files with 15 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/contracts/newSyntax/functionWithBothOldAndNewSyntaxContractDescription.lazyBodies.txt
Vendored
+1 -1
View File
@@ -1,6 +1,6 @@
FILE: functionWithBothOldAndNewSyntaxContractDescription.kt
public? final? fun test1(s: String?): R|kotlin/Unit|
[Contract description] <
returnsNotNull#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/contracts/newSyntax/propertyAccessorsContractDescription.lazyBodies.txt
Vendored
+5 -5
View File
@@ -7,7 +7,7 @@ FILE: propertyAccessorsContractDescription.kt
public? final? var myInt: Int = LAZY_EXPRESSION
public? get(): Int
[Contract description] <
returnsNotNull#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
public? set(value: Int): R|kotlin/Unit| { LAZY_BLOCK }
@@ -21,12 +21,12 @@ FILE: propertyAccessorsContractDescription.kt
public? final? var anotherInt: Int = LAZY_EXPRESSION
public? get(): Int
[Contract description] <
returnsNotNull#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
public? set(value: Int): R|kotlin/Unit|
[Contract description] <
returns#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
@@ -39,12 +39,12 @@ FILE: propertyAccessorsContractDescription.kt
public? final? var someInt: Int = LAZY_EXPRESSION
public? get(): Int
[Contract description] <
returnsNotNull#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
public? set(value: Int): R|kotlin/Unit|
[Contract description] <
returns#().implies#(!=(value#, Null(null)))
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/contracts/newSyntax/simpleFunctionsContractDescription.lazyBodies.txt
Vendored
+3 -3
View File
@@ -1,12 +1,12 @@
FILE: simpleFunctionsContractDescription.kt
public? final? fun test1(s: MyClass?): R|kotlin/Unit|
[Contract description] <
returns#().implies#(!=(s#, Null(null))),
returns#().implies#((s# is MySubClass))
LAZY_EXPRESSION,
LAZY_EXPRESSION
>
{ LAZY_BLOCK }
public? final? fun test2(): R|kotlin/Unit|
[Contract description] <
returnsNotNull#()
LAZY_EXPRESSION
>
{ LAZY_BLOCK }