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