{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"type_:"}]}
                        type_: $type_,
                        length: $len,
                        position: rustc_span::InnerSpan::new($pos.0, $pos.1),