blob: 246b89f8f3374f0f85a0fc0be3c1d983c1b8dd2f (
plain)
1
2
3
|
CallStmtTests.dfy(7,4): Error: LHS of assignment must denote a mutable variable
CallStmtTests.dfy(20,11): Error: actual out-parameter 0 is required to be a ghost variable
2 resolution/type errors detected in CallStmtTests.dfy
|
