{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"hir_ty.span,"}]}
                            hir_ty.span,
                            tcx,
                            "failed to resolve RTN",