{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"max_universe:"}]}
            max_universe: ty::UniverseIndex::ROOT,
        let base = Canonical {
            variables: List::empty(),