{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"debug!("}]}
                        debug!(
                    if !self.sub_concrete_regions(sub_region, c.sup) {
                            "region error at {:?}: cannot verify that {:?}={:?} <= {:?}",