blob: 9fd30597dba61134a3441f2b4054c027aed93f78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// RUN: %dafny "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
datatype struct = S // this is ok
method Main()
{
var s := S; // this line generates illegal C# code
print s;
}
|