TypeScript版本： 3.7.2
搜索词： generator iterator asynciterator type union never
代码

example.ts

type NumberIterator = Iterator<number> | AsyncIterator<number>;
type NumberGenerator = Generator<number> | AsyncGenerator<number>;

function *numbers(): NumberIterator {
    yield 1;
}

一个类型别名，它是Iterator和AsyncIterator的联合体，被用作同步生成器的返回类型。

预期行为：

代码可以编译。

实际行为：

example.ts(5,11): error TS2322: Type '1' is not assignable to type 'never'.

如果将上述函数的返回类型替换为NumberIterator,那么代码可以正确进行类型检查。这里出了问题。

** playground链接：**

https://www.typescriptlang.org/play/index.html?target=99&ssl=5&ssc=2&pln=1&pc=1#code/C4TwDgpgBAcgrgWwEYQE4ElhoIbAPapQC8UmO+qAPAHaIqoB8UAPlAIIDOI1AxmargI06aBgG4AUBIBmcXsACWealABUtZGg4AKAJQAuWCIxYBFKAG8JUG1BAKIAGwAmUAIySAvkA
由于playground尚不支持异步迭代器( microsoft/TypeScript-Website#15 ),因此playground链接无法使用。

相关问题：

#30790 强类型迭代器PR