diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt index c227f6e84df..8074e930c43 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/returnsImplies/booleanOperators.txt @@ -16,7 +16,7 @@ FILE: booleanOperators.kt public final fun myRequireAnd(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit| [R|Contract description] < - Returns(WILDCARD) -> (b1) && (b2) + Returns(WILDCARD) -> b1 && b2 > { [StubStatement] @@ -30,7 +30,7 @@ FILE: booleanOperators.kt public final fun myRequireOr(b1: R|kotlin/Boolean|, b2: R|kotlin/Boolean|): R|kotlin/Unit| [R|Contract description] < - Returns(WILDCARD) -> (b1) || (b2) + Returns(WILDCARD) -> b1 || b2 > { [StubStatement] @@ -44,7 +44,7 @@ FILE: booleanOperators.kt public final fun myRequireNot(b: R|kotlin/Boolean|): R|kotlin/Unit| [R|Contract description] < - Returns(WILDCARD) -> (!)b + Returns(WILDCARD) -> !b > { [StubStatement]