{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"if"}]}
                if !self.sub_concrete_regions(effective_lower_bound, upper_bound.region) {
            for upper_bound in &upper_bounds {
                    let origin = self.var_infos[node_idx].origin;