{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"famous_defs.core_result_Result(),"}]}
                            famous_defs.core_result_Result(),
                            make.ty_result(type_ref.clone(), make.ty_infer().into()),
                        ),