Update failing cases, add parsing edge case

Author: JonasAlaif

src/test/resources/all/issues/silver/0027.vpr

@@ -1,7 +1,6 @@
-// Any copyright is dedicated to the Public Domain.
-// http://creativecommons.org/publicdomain/zero/1.0/
-
-//:: ExpectedOutput(typechecker.error)
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 field f: Int
 
 //:: ExpectedOutput(typechecker.error)

src/test/resources/all/parsing/typed_call_ambig.vpr

@@ -0,0 +1,8 @@
+domain huh {
+    function myfun(b: Bool): Bool
+}
+
+method m()
+{
+  assert (myfun(forall i: Int :: i > 0 || i <= 0))
+}

src/test/resources/wands/regression/consistency_let_resolver.vpr

@@ -12,11 +12,12 @@ method test02() {
   assert (let y == (0) in true) && y == 0
 }
 
-//:: ExpectedOutput(typechecker.error)
 method test03(y: Int) {
+  //:: ExpectedOutput(typechecker.error)
   assert let y == (0) in true
 }
 
+//:: ExpectedOutput(typechecker.error)
 method test03() {
   //:: ExpectedOutput(typechecker.error)
   assert let y == (0) in let y == (true) in true