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