{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
    /// The opaque types from the canonical input. We only need to return opaque types
    pub(super) max_input_universe: ty::UniverseIndex,
    /// which have been added to the storage while evaluating this goal.