{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
                    // collect them later.
                    // instead, set the variable value to error and
                    if !self.sub_concrete_regions(sub_region, c.sup) {