{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"base_universe:"}]}
    base_universe: ty::UniverseIndex,
    canonical_query: CanonicalTypeOpDeeplyNormalizeGoal<'tcx, T>,
}