{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"extra_data(PassWhere::BeforeCFG,"}]}
    extra_data(PassWhere::BeforeCFG, w)?;
    writeln!(w)?;
    write_user_type_annotations(tcx, body, w)?;