{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"pub(super)"}]}
    pub(super) max_input_universe: ty::UniverseIndex,
    /// new placeholders to the caller.
    /// The opaque types from the canonical input. We only need to return opaque types