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