{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
        // for the former and let type inference do the rest.
        // We only have the latter, so we use an inference variable
        let coerce_target = self.next_ty_var(self.cause.span);