{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"chalk_ir::zip::Zip::zip_with(self,"}]}
        chalk_ir::zip::Zip::zip_with(self, variance, a.skip_binders(), b.skip_binders())
    {
    }