{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"builtin_return_ty"}]}
                    builtin_return_ty
                    self.demand_eqtype(expr.span, builtin_return_ty, return_ty);
                } else {