Rerun test

Author: NeilKleistGao

hkmc2/shared/src/test/mlscript/bbml/bbGPCE.mls

@@ -65,8 +65,8 @@ fun body(x, y) = case
   1 then y
   n then bind of x `+ y, (z => body(y, z)(n - 1))
 //│ ╔══[ERROR] Type error in application with expected type CodeBase[out Int, out G, ?]
-//│ ║  l.707: 	  n then bind of x `+ y, (z => body(y, z)(n - 1))
-//│ ║         	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+//│ ║  l.66: 	  n then bind of x `+ y, (z => body(y, z)(n - 1))
+//│ ║        	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 //│ ╟── because: cannot constrain  CodeBase[in ⊥ out 'cde, in ⊥ out 'ctx ∨ 'ctx1, in ⊥ out ⊤]  <:  CodeBase[in ⊥ out Int, in ⊥ out G, in ⊥ out ⊤]
 //│ ╟── because: cannot constrain  'ctx ∨ 'ctx1  <:  G
 //│ ╟── because: cannot constrain  'ctx1  <:  G