{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"\"String\".to_string(),"}]}
                                                        "String".to_string(),
                                                        lt.span.with_hi(ty.span.hi()),
                                                    )];