{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"max_placeholder_universe_reached:"}]}
            max_placeholder_universe_reached: placeholder_universe,
        Self {
            max_nameable_universe: definition.universe,