{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"ctx.unify(var.assert_ty_ref(Interner),"}]}
                ctx.unify(var.assert_ty_ref(Interner), &ty);
                let ty = ctx.normalize_associated_types_in(new_vars.apply(ty.clone(), Interner));
            } else {