{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"s.push_str(\"u6regionI\");"}]}
            s.push_str("u6regionI");
        RegionKind::ReBound(debruijn, r) => {
            // Debruijn index, which identifies the binder, as region disambiguator