{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"super::ImplSource::UserDefined(v)"}]}
            super::ImplSource::UserDefined(v) => write!(f, "{v:?}"),
        match self {