`ts-check` used with `@typedef` causes an error on `module.exports = ...`

[arcanis]

Steps to reproduce

// @ts-check

/** @typedef {number} Foo */

module.exports = {};

Behavior with typescript@5.8

No reported errors:

https://www.typescriptlang.org/play/?ts=5.9.2#code/PTAEAEBcGcFoGMAWBTeBrAUB4AqHFIBPAB2QBNkAzUAbwDsBXAWwCNkAnAX1ADEB7PqBzAsTPmQYAbZADpkAD2J92MUAF5anANwYgA

Behavior with tsgo

index.cjs:5:1 - error TS2309: An export assignment cannot be used in a module with other exported elements.

5 module.exports = {};
  ~~~~~~~~~~~~~~~~~~~


Found 1 error in index.cjs:5

This doesn't appear unless ts-check is set, even if allowJs is set to true.