{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"this.zip_substs(variance,"}]}
            this.zip_substs(variance, variances, sub_a.as_slice(Interner), sub_b.as_slice(Interner))
                          sub_b: &Substitution| {
        };