{"ast_node_type":"other","tokens":[{"end":116,"kind":"keyword","start":0,"text":"\"Malformed"}]}
            "Malformed encoded span: lo={:?} source_file.original_start_pos={:?} source_file.original_end_pos={:?}",
            lo + source_file.original_start_pos <= source_file.original_end_pos,
            lo,