{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"if"}]}
        if is_ref {
        // regionck knows that the region for `a` must be valid here.
            self.unify_and(