{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"\"file\":"}]}
                        "file": "stdin",
                    json!([{
                        // LineCol is 0-based, but rustfmt is 1-based.