diff options
Diffstat (limited to 'Test/dafny0/IteratorResolution.dfy')
| -rw-r--r-- | Test/dafny0/IteratorResolution.dfy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/dafny0/IteratorResolution.dfy b/Test/dafny0/IteratorResolution.dfy index f45dd764..fe9e2563 100644 --- a/Test/dafny0/IteratorResolution.dfy +++ b/Test/dafny0/IteratorResolution.dfy @@ -72,6 +72,8 @@ module Mx { } else {
var x: int := h1.t; // error: h1 would have to be a GenericIteratorResult<int>
}
+
+ var h2 := new GenericIteratorResult; // error: constructor is not mentioned
}
}
|