fix test

Author: Kha

tests/lean/1021.lean.expected.out

@@ -1,8 +1,8 @@
 some
   {
     range :=
-      { pos := { line := 217, column := 0 }, charUtf16 := 0, endPos := { line := 222, column := 31 },
+      { pos := { line := 212, column := 0 }, charUtf16 := 0, endPos := { line := 217, column := 31 },
         endCharUtf16 := 31 },
     selectionRange :=
-      { pos := { line := 217, column := 46 }, charUtf16 := 46, endPos := { line := 217, column := 58 },
+      { pos := { line := 212, column := 46 }, charUtf16 := 46, endPos := { line := 212, column := 58 },
         endCharUtf16 := 58 } }