Handle underscores in lambda bound variable lists properly

+ add a test case with lambdas that don't get their types fully specified

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 := (_, _, _) => _;
+}