{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":")"}]}
    ) -> <Self::Interner as Interner>::GenericArg;
        universe_map: impl Fn(ty::UniverseIndex) -> ty::UniverseIndex,
    fn add_item_bounds_for_hidden_type(