tests/lean/1021.lean.expected.out

some
  {
    range :=
      { pos := { line := 202, column := 42 }, charUtf16 := 42, endPos := { line := 208, column := 31 },
        endCharUtf16 := 31 },
    selectionRange :=
      { pos := { line := 202, column := 46 }, charUtf16 := 46, endPos := { line := 202, column := 58 },
        endCharUtf16 := 58 } }