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