{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"///"}]}
    /// new placeholders to the caller.
    /// if we have a coinductive cycle and because that's the only way we can return
    pub(super) max_input_universe: ty::UniverseIndex,