Weird inference bug where a union is expanded with "never" in the position of generics
@rbuckton 已经在做这个了。
开始于 2019年4月24日。
评估
这个 Issue 还没有评估数据。
描述
TypeScript Version: 3.5.0-dev.20190423
This code works in 3.3.4000 and is broken in 3.4.5
Code
function MyComponent({a, b}: {a: number; b: number}) {
return a + b;
}
function test<Props>(
_getComponent: () => Promise<(props: Props) => number | string>,
) {}
test(() => Promise.resolve({MyComponent}).then(m => m.MyComponent));
Of course this is a simplified example. The code I found this in uses React and lazy loading with import().
Expected behavior: This example should pass type checking without any problems.
Actual behavior:
test.ts:9:12 - error TS2322: Type 'Promise<(({ a, b }: { a: number; b: number; }) => number) | ((props: never) => string | number)>' is not assignable to type 'Promise<(props: { a: number; b: number; }) => string | number>'.
Type '(({ a, b }: { a: number; b: number; }) => number) | ((props: never) => string | number)' is not assignable to type '(props: { a: number; b: number; }) => string | number'.
Type '(props: never) => string | number' is not assignable to type '(props: { a: number; b: number; }) => string | number'.
Types of parameters 'props' and 'props' are incompatible.
Type '{ a: number; b: number; }' is not assignable to type 'never'.
9 test(() => Promise.resolve({MyComponent}).then(m => m.MyComponent));
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.ts:6:18
6 _getComponent: () => Promise<(props: Props) => number | string>,
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The expected type comes from the return type of this signature.
Notably here the actual type is inferred to be…
Promise<(({ a, b }: { a: number; b: number; }) => number) | ((props: never) => string | number)>
…which has an extra union variant…
(props: never) => string | number
…coming out of nowhere.
Playground Link:
You need to enable strictFunctionTypes.
- 主要语言
- Go
- 星标
- 111k
- 派生
- 14.4k
- 平均合并
- 1 天 19 小时
- 30 天内合并 PR
- 117
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
microsoft/TypeScript 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 88/100
microsoft/TypeScript#64322 · 2 条评论 · 1 个 reaction · 已指派 2 人 ·
-
Possible Improvement
难度 2/5 1-3 小时 新手友好度 78/100
microsoft/TypeScript#64278 · 1 条评论 · 1 个 reaction ·
-
Docs
难度 2/5 1-3 小时 新手友好度 70/100
microsoft/TypeScript#64118 · 1 条评论 ·
-
难度 1/5 1 小时以内 新手友好度 88/100
microsoft/TypeScript#64094 ·
-
Docs
难度 2/5 1-3 小时 新手友好度 76/100
microsoft/TypeScript#63959 · 5 条评论 ·
查看 microsoft/TypeScript 的全部 Issue
相似的 Issue
-
optimization optimization:agents-md-curator
难度 2/5 1-3 小时 新手友好度 86/100
githubnext/gh-aw-cao#13143 ·
-
难度 2/5 1-3 小时 新手友好度 84/100
blinklabs-io/bursa#904 ·
-
难度 2/5 1-3 小时 新手友好度 84/100
yanet-platform/ipfw-go#129 ·
-
bug confmap/provider/googlesecretmanagerprovider needs triage
难度 2/5 1-3 小时 新手友好度 72/100
open-telemetry/opentelemetry-collector-contrib#51273 · 2 条评论 ·
-
bug: AI Gateway client filter lists "Unknown" twice when NULL and literal Unknown clients coexist 未关闭bug
难度 2/5 1-3 小时 新手友好度 90/100