{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"placeholder_indices:"}]}
        placeholder_indices: PlaceholderIndices,
        num_universal_regions: usize,
    ) -> Self {