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

[FIR] Update testdata

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-08-25 12:07:59 +03:00
parent 3ccb72bb1a
commit 316e0e6609
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt
Vendored
+3 -3
View File
@@ -16,7 +16,7 @@ FILE: booleanOperators.kt
public final fun myRequireAnd(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit| public final fun myRequireAnd(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit|
[R|Contract description] [R|Contract description]
< <
Returns(WILDCARD) -> (b1) && (b2) Returns(WILDCARD) -> b1 && b2
> >
{ {
[StubStatement] [StubStatement]
@@ -30,7 +30,7 @@ FILE: booleanOperators.kt
public final fun myRequireOr(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit| public final fun myRequireOr(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit|
[R|Contract description] [R|Contract description]
< <
Returns(WILDCARD) -> (b1) || (b2) Returns(WILDCARD) -> b1 || b2
> >
{ {
[StubStatement] [StubStatement]
@@ -44,7 +44,7 @@ FILE: booleanOperators.kt
public final fun myRequireNot(b: R|kotlin/Boolean|): R|kotlin/Unit| public final fun myRequireNot(b: R|kotlin/Boolean|): R|kotlin/Unit|
[R|Contract description] [R|Contract description]
< <
Returns(WILDCARD) -> (!)b Returns(WILDCARD) -> !b
> >
{ {
[StubStatement] [StubStatement]