{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"spec_adt.syntax(),"}]}
                        spec_adt.syntax(),
                        file,
                        fake_ident_token.clone(),