{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
                    let origin = self.var_infos[node_idx].origin;
                if !self.sub_concrete_regions(effective_lower_bound, upper_bound.region) {
                    debug!(