TNExT | based software tool developed for the visualization | Data Visualization library

MDN, however authoritative, is not the source of truth when it comes to language specifications. TypeScript follows the ECMAScript spec, in this instance, the definition of the AsyncIterator interface (as @@asyncIterator well-known symbol is a method that returns an AsyncIterator).

Table 76 and 77 of the spec provide, respectively, the required and optional properties of the interface: next, return, and throw. We are interested in what the spec has to say about the parameters of the second one:

The returned promise will fulfill with an IteratorResult object which will typically have a "done" property whose value is true, and a "value" property with the value passed as the argument of the return method. However, this requirement is not enforced.

Note the last part of the first sentence — here is where the TReturn | PromiseLike comes from. Then note the second sentence — this is why the parameter is optional.

As you can also see from the above, the return method returns an object implementing the IteratorResult interface which is defined to have a done boolean and a value unrestricted property. Both properties are not considered optional, but each has a note in table 78 of the spec that allows for either to be missing.

However, TypeScript definition for the IteratorReturnResult (a member of the IteratorResult union type) does not take into account those notes and marks those properties as required: