{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"self.var_infos[v_id].origin.span(),"}]}
                            self.var_infos[v_id].origin.span(),
                        span_bug!(
                            "lub_concrete_regions invoked with non-concrete region: {:?}",