{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"num_universal_regions:"}]}
        num_universal_regions: usize,
        location_map: Rc<DenseLocationMap>,
        placeholder_indices: PlaceholderIndices,