[LL FIR] rename testdata to testData to avoid copyright generation
We exclude testData pattern from copyright scope
This commit is contained in:
committed by
Space Team
parent
aef5290210
commit
33e6a85a2d
@@ -0,0 +1,9 @@
|
||||
fun foo(arg: Any?, num: Int?, block: () -> Unit) contract [
|
||||
returns() implies (arg is String),
|
||||
returns() implies (num != null),
|
||||
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
|
||||
] {
|
||||
require(arg is String)
|
||||
require(num != null)
|
||||
<expr>block</expr>()
|
||||
}
|
||||
Reference in New Issue
Block a user