Function f

tests/multiple-patterns.test.ts:217–222

(input: { t: 'a'; x: any } | { t: 'b' })

  it("when 2 returned values don't match, the error should be at the second returned value", () => {
    const f = (input: { t: 'a'; x: any } | { t: 'b' }) =>
      match<typeof input, string>(input)
        .with({ t: 'a', x: 'hello' }, { t: 'a' }, (x) => 'ok')
        // @ts-expect-error
        .with({ t: 'b' }, (x) => 2)
        .run();
  });

  it('issue #74: inference must work on every pattern in the list', () => {