From 3fc6d4722378bb271784bd129db04f3e0ec1089a Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Mon, 25 Apr 2022 19:57:51 +0400
Subject: [PATCH] Fix previous commit

---
 test/aeso_compiler_tests.erl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 1838f32..36c48bb 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -883,7 +883,10 @@ failing_contracts() ->
                      "when checking the application of\n"
                      "  `g5 : ((Animal) => Animal) => Cat`\n"
                      "to arguments\n"
-                     "  `x : (Cat) => Cat`">>
+                     "  `x : (Cat) => Cat`">>,
+                   <<?Pos(54, 44)
+                     "Cannot unify `Animal` and `Cat`\n"
+                     "when checking the type of the expression `f6() : option(Animal)` against the expected type `option(Cat)`">>
                   ])
     , ?TYPE_ERROR(polymorphism_variance_switching_custom_types,
                   [<<?Pos(56,32)