Return union type without type annotating `match`

The following compiles:

import { match } from "ts-pattern";

type T = string | number;

const x = match<boolean, T>(true)
  .with(true, () => "")
  .with(false, () => 0)
  .run();

Would it be possible to construct a union type along the way in the builder? I mean, so that the above code would compile without the type annotations?

I’m not sure if that’s wanted in every scenario, so maybe it would need a second version of match for it. In any way, if possible, I’d say this would be a valuable thing to have.

[gvergnaud]

v3.1.1 has been released! I’m closing this issue

[m-rutter]

Seems to work great! I can still restrict the return type by explicitly setting the generic params, but will otherwise correctly infer the union type.