{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"zip_substs(self,"}]}
                zip_substs(self, None, &fn_ptr_a.substitution.0, &fn_ptr_b.substitution.0)?
            {
            }