blob: ef7d4062360ad27a26a927307a63d5a80f3ce0fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// RUN: %dafny /compile:0 "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
method M()
{
var m := map[]; // error: underspecified type
}
method N()
{
var n := multiset{}; // error: underspecified type
}
method O()
{
var o := []; // error: underspecified type
}
method P()
{
var p := {}; // error: underspecified type
}
method Q()
{
assert (((map[]))) == (((((map[]))))); // error (but not 10 errors)
}
|
