{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
    /// and errors if we end up with distinct hidden types.
    /// expects the hidden type to be mapped to the definition parameters of the opaque
    pub(super) fn add_concrete_opaque_type(