Return statement in iterator is not type checked

TypeScript Version: 5.3.2.

Search Terms: yield, return, iterator.

Code:

interface Result {
    foo: number;
}

function* gen(): IterableIterator<Result> {
    yield { foo: 1 };
    return { garbage: true }; // not checked
}

(function go(iterator) {
    const { value, done } = iterator.next();
    console.log(value);
    if (!done) {
        go(iterator);
    }
})(gen());

Expected behavior: type error on return statement.

Actual behavior: no type errors.

Playground Link: https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgEoQM4FcA2ZkDeAUMqcjAPYUBcyIWAtgEbQDcRAvkUTFiAmGAUQAKmQBzCCAAUASloBJSFDhMcEJdDhgKUADzpseAHyESZAJ7AIOACaFyVWgEZkHdmWRQIYLFBAO4nBQTHCStGBQWCjuyAD0cXQU+AgAFhAIANYQtpzc0rz8gsISFNLAytq6smaeCMIY+ATIAG5wONEANMi2wjHIALzIFVo6UAB0IBAAHmByHmT1IBgU6uM4FOLSbR0QsgukwDDI0gCEvVM1xJ6e4mUjKmP75qRcHLLSkjKy+0A

Related Issues: https://github.com/Microsoft/TypeScript/issues/26959.