diff options
Diffstat (limited to 'Test/hofs/ResolveError.dfy')
-rw-r--r-- | Test/hofs/ResolveError.dfy | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Test/hofs/ResolveError.dfy b/Test/hofs/ResolveError.dfy index 31de9424..410842b3 100644 --- a/Test/hofs/ResolveError.dfy +++ b/Test/hofs/ResolveError.dfy @@ -61,3 +61,9 @@ method Pli(f : A -> B) requires f != null; var o : object; assert f != o; } + +method Underscores() { + var u := _ => 0; + var v := (_, _) => 0; + var w := (_, _, _) => _; +} |