test: safe coverage

Author: HoshinoTented

Diff for: base/src/test/resources/failure/tyck/not-pi.aya

@@ -0,0 +1 @@
+def foo {A : Type} (a : A) : A => a a

Diff for: base/src/test/resources/failure/tyck/not-pi.aya.txt

@@ -0,0 +1,12 @@
+In file $FILE:1:34 ->
+
+  1 │   def foo {A : Type} (a : A) : A => a a
+    │                                     ╰─╯
+
+Error: Unable to apply the expression
+         a a
+       because the type of what you applied is not a Pi type, but instead:
+         A
+
+1 error(s), 0 warning(s).
+What are you doing?