{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"impl_def_id:"}]}
                impl_def_id: i.impl_def_id,
            ImplSource::UserDefined(i) => ImplSource::UserDefined(ImplSourceUserDefinedData {
                args: i.args,