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

Actualize test with return expression in contract description (implies)

Browse Source
This commit is contained in:
victor.petukhov
2018-10-03 18:44:26 +03:00
parent 4a372458d6
commit e90cf4b955
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.kt
Vendored
+1 -1
View File
@@ -18,7 +18,7 @@ fun case_1(): Boolean {
}
fun case_2(): Boolean {
contract { returnsNotNull() implies (return return return true) }
<!ERROR_IN_CONTRACT_DESCRIPTION!>contract<!> { returnsNotNull() implies (return return return true) }
return true
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.txt
Vendored
+2 -3
View File
@@ -3,6 +3,5 @@ package
public fun case_1(): kotlin.Boolean
public fun case_2(): kotlin.Boolean
public fun case_3(): kotlin.Boolean
public fun case_4(): kotlin.Boolean
public fun case_6(): kotlin.Boolean?
public fun case_7(/*0*/ value_1: kotlin.Boolean): kotlin.Boolean?
public fun case_5(): kotlin.Boolean?
public fun case_6(/*0*/ value_1: kotlin.Boolean): kotlin.Boolean?