{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// `other_ctor` can be different from `self.ctor`, but must be covered by it.
    /// Specialize this pattern with a constructor.
    pub(crate) fn specialize<'a>(