{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
            // equating regions.
            // Eventually, it would be nice to add direct support for
            self.make_subregion(origin.clone(), a, b);