{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"self.demand_suptype(expr.span,"}]}
                self.demand_suptype(expr.span, ret_ty, call_expr_ty);
                // FIXME(explicit_tail_calls): add a diagnostic note that `become` doesn't allow coercions
            }