{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"let"}]}
                let ty = ctx.normalize_associated_types_in(new_vars.apply(ty.clone(), Interner));
                // e.g. from where clauses where this hasn't happened yet
                ctx.unify(var.assert_ty_ref(Interner), &ty);