{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"wfcx,"}]}
                wfcx,
            if !legacy_receiver_is_implemented(
                legacy_receiver_trait_def_id,