Diff failed for files /bare-tests/_output/Check.fst.output and /bare-tests/Check.fst.output.expected: --- Check.fst.output.expected 2025-12-17 04:13:26.000000000 +0000 +++ _output/Check.fst.output 2025-12-17 04:34:53.346236691 +0000 @@ -1,9 +1,9 @@ -* Info at Check.fst(5,0-5,8): +* Info at Check.fst:5.1-5.9: - Term 1 has type Prims.int -* Info at Check.fst(6,0-6,10): +* Info at Check.fst:6.1-6.11: - Term 1 + 1 has type Prims.int -* Info at Check.fst(11,0-11,10): +* Info at Check.fst:11.1-11.11: - Term Check.foo has type Prims.Tot (#_: Type -> x: _ -> Prims.Tot _)