Type annotations in arguments of function definition

1 files changed, 4 insertions, 2 deletions

diff --git a/test/asset/parser/type-annotation.et b/test/asset/parser/type-annotation.et
index 5fbf323..811b54b 100644
--- a/test/asset/parser/type-annotation.et
+++ b/test/asset/parser/type-annotation.et
@@ -1,6 +1,8 @@
-def fun (a) and b:
-    let c = [ a : String, "x" ]
+def fun (a : String) and (b : String):
+    let c = [ a, "x" ]
     let d = [ b : String, "y" : String ]
+    guard (c /= d)
 
 test Test:
     let x = "" : String
+    fun "a" and "b"