diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index a72e0c9..d636bc9 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -861,22 +861,22 @@ failing_contracts() ->
                      "Trying to implement or extend an undefined interface `H`">>
                   ])
     , ?TYPE_ERROR(polymorphism_variance_switching,
-                  [<<?Pos(39,49)
+                  [<<?Pos(36,49)
                      "Cannot unify `Cat` and `Animal` in a contravariant context\n"
                      "when checking the application of\n"
                      "  `g2 : (Cat) => Cat`\n"
                      "to arguments\n"
                      "  `x : Animal`">>,
-                   <<?Pos(42,43)
+                   <<?Pos(39,43)
                      "Cannot unify `Animal` and `Cat` in a covariant context\n"
                      "when checking the type of the expression `g3(x) : Animal` against the expected type `Cat`">>,
-                   <<?Pos(51,55)
+                   <<?Pos(48,55)
                      "Cannot unify `Animal` and `Cat` in a covariant context\n"
                      "when checking the application of\n"
                      "  `g5 : ((Animal) => Animal) => Cat`\n"
                      "to arguments\n"
                      "  `x : (Cat) => Cat`">>,
-                   <<?Pos(55, 44)
+                   <<?Pos(52, 44)
                      "Cannot unify `Animal` and `Cat` in a covariant context\n"
                      "when checking the type of the expression `f6() : option(Animal)` against the expected type `option(Cat)`">>
                   ])
diff --git a/test/contracts/polymorphism_variance_switching.aes b/test/contracts/polymorphism_variance_switching.aes
index 0ce2f55..48106c5 100644
--- a/test/contracts/polymorphism_variance_switching.aes
+++ b/test/contracts/polymorphism_variance_switching.aes
@@ -12,8 +12,8 @@ contract Cat : Animal =
 main contract Main =
     entrypoint init() = ()
 
-    stateful function g0(x : Creature) : Cat = Chain.create()
-    stateful function f0(x : Cat) : Creature = g1(x)
+    stateful function g0(_ : Creature) : Cat = Chain.create()
+    stateful function f0(x : Cat) : Creature = g0(x)
     stateful function h0() =
         let a : Animal = (Chain.create() : Cat)
         let c : Creature = (Chain.create() : Cat)
@@ -22,9 +22,6 @@ main contract Main =
 
     stateful function g1(x : Animal) : Cat = Chain.create()
     stateful function f1(x : Cat) : Animal = g1(x)
-    stateful function h1() =
-        let x : Animal = (Chain.create() : Cat)
-        ()
 
     stateful function g11(x : list(Animal)) : list(Cat) = [Chain.create()]
     stateful function f11(x : list(Cat)) : list(Animal) = g11(x)
@@ -36,10 +33,10 @@ main contract Main =
     stateful function f13() : map(Animal, Animal) = g13()
 
     stateful function g2(x : Cat) : Cat = Chain.create()
-    stateful function f2(x : Animal) : Animal = g2(x)
+    stateful function f2(x : Animal) : Animal = g2(x)  // fail
 
     stateful function g3(x : Cat) : Animal = f1(x)
-    stateful function f3(x : Cat) : Cat = g3(x)
+    stateful function f3(x : Cat) : Cat = g3(x)  // fail
 
     stateful function g4(x : (Cat => Animal)) : Cat = Chain.create()
     stateful function f4(x : (Animal => Cat)) : Animal = g4(x)
@@ -48,11 +45,11 @@ main contract Main =
     stateful function f44(x : list(list(Animal) => list(Cat))) : Animal = g44(x)
 
     stateful function g5(x : (Animal => Animal)) : Cat = Chain.create()
-    stateful function f5(x : (Cat => Cat)) : Animal = g5(x)
+    stateful function f5(x : (Cat => Cat)) : Animal = g5(x)  // fail
 
     stateful function g6() : option(Cat) = Some(Chain.create())
     stateful function f6() : option(Animal) = g6()
-    stateful function h6() : option(Cat) = f6()
+    stateful function h6() : option(Cat) = f6()  // fail
 
     type cat_type = Cat
     type animal_type = Animal