{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"Region(Interned::new_unchecked("}]}
            Region(Interned::new_unchecked(
        let mk = |r| {
                interners.region.intern(r, |r| InternedInSet(interners.arena.alloc(r))).0,