spurious check error on Iterator.toArray()

[rjbudzynski]

Version: Deno 1.42.4

File test.ts contains:

const a = new Array(10).keys().toArray()
console.log(a)

Running it works as expected:

$ deno run test.ts
[
  0, 1, 2, 3, 4,
  5, 6, 7, 8, 9
]

But:

$ deno check test.ts
Check file:///home/rjb/Work/Deno/misc/test.ts
error: TS2339 [ERROR]: Property 'toArray' does not exist on type 'IterableIterator<number>'.
const a = new Array(10).keys().toArray()
                               ~~~~~~~
    at file:///home/rjb/Work/Deno/misc/test.ts:1:32

Yes, .toArray() on general Iterables is marked as experimental (as per MDN), however since it's implemented in Deno, the check error is spurious.

[Delapouite]

Probably another manifestation of this issue #23357