{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"universe:"}]}
            universe: self.universe(),
            region_constraints_snapshot: inner.unwrap_region_constraints().start_snapshot(),
        }