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

Prohibit declaring multiple callsInPlace contract on same lambda.

Browse Source 
#KT-26150 fixed
This commit is contained in:
Dmitriy Novozhilov
2019-02-28 13:58:52 +03:00
parent 4a7420d77d
commit 54e5cce9be
3 changed files with 19 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/effects/callsInPlace/neg/2.kt
Vendored
+2 -3
View File
@@ -6,7 +6,6 @@
* SECTIONS: contracts, declarations, contractBuilder, effects, callsInPlace
* NUMBER: 2
* DESCRIPTION: functions with contract and duplicate CallsInPlace.
* UNEXPECTED BEHAVIOUR
* ISSUES: KT-26150
*/
@@ -16,7 +15,7 @@ import kotlin.contracts.*
inline fun case_1(block: () -> Unit) {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
<!ERROR_IN_CONTRACT_DESCRIPTION!>callsInPlace(block, InvocationKind.EXACTLY_ONCE)<!>
}
return block()
}
@@ -25,7 +24,7 @@ inline fun case_1(block: () -> Unit) {
inline fun case_2(block: () -> Unit) {
contract {
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
callsInPlace(block, InvocationKind.AT_MOST_ONCE)
<!ERROR_IN_CONTRACT_DESCRIPTION!>callsInPlace(block, InvocationKind.AT_MOST_ONCE)<!>
}
return block()
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/effects/callsInPlace/neg/2.txt
Vendored
-5
View File
@@ -1,9 +1,4 @@
package
public inline fun case_1(/*0*/ block: () -> kotlin.Unit): kotlin.Unit
CallsInPlace(block, EXACTLY_ONCE)
CallsInPlace(block, EXACTLY_ONCE)
public inline fun case_2(/*0*/ block: () -> kotlin.Unit): kotlin.Unit
CallsInPlace(block, EXACTLY_ONCE)
CallsInPlace(block, AT_MOST_ONCE)