TypeScript Schema Decoding: Incorrect Type Masks Other Errors

const FooSchema = Struct({
  bar: String,
  buz: String,
});

// Will flag `Property buz is missing in type { bar: string; }` as intended
yield* decode(FooSchema)({
  bar: "foo",
});

// Will flag `TS2353: Object literal may only specify known propertie` as intended
yield* decode(FooSchema)({
  bar: "foo",
  buz: "bar",
  doesNotExist: "whatever"
});

// Will flag `TS2322: Type number is not assignable to type string` on `bar`
// totally omitting the two errors above
yield* decode(FooSchema)({
  doesNotExist: "whatever",
  bar: 5,
});

yield* decode(FooSchema)({
  doesNotExist: 5,
  // @ts-expect-error for whatever reason
  bar: 5,
});