{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                "Convert 10000i32 to 10_000i32",
            ("const _: i32 = 1_0_0_0_i32$0;", "const _: i32 = 1000i32;", "Remove digit separators"),