Would sure be nice sometimes. OTOH we already have unification implemented, so hey. On the third hand, unification can be slow? Mentioned here: https://matklad.github.io/2023/08/09/types-and-zig.html . Basically it's a greedy algorithm that just searches forward, if I understand it correctly.
As long as it's a pure subset of unification then we can upgrade it someday as we care to.
Not worth it, I like unification too much and we basically only(?) have to unify type vars inside a single function.
...uh I should probably make sure that's actually the case before I close this.