Fix #15954 by rejigging check_type's order
[ghc.git] / testsuite / tests / dependent / should_fail / T15859.stderr
index e479404..c4dc1ef 100644 (file)
@@ -1,5 +1,5 @@
 
-T15859.hs:13:5: error:
+T15859.hs:14:5: error:
     • Cannot apply expression of type ‘forall k -> k -> *’
       to a visible type argument ‘Int’
     • In the expression: (undefined :: KindOf A) @Int