blob: 1783fe5c8e5b57d95c445f21732bddbabd012601 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// RUN: %dafny /print:"%t.print" "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
class C {
function method f(x : int) : int { x }
var g : int -> int;
method M() modifies this;
{
f := g; // not ok
}
}
|