microsoft / microsoft/TypeScript
Can't infer unique symbol types via another variable
未关闭
还没有人认领这个 Issue。
Bug
Domain: check: Type Inference
- 主要语言
- Go
- 星标
- 111k
- 派生
- 14.3k
- 平均合并
- 2 天 4 小时
- 30 天内合并 PR
- 132
描述
Literals such as 0 can be inferred correctly but unique symbols are not.
TypeScript Version: 3.7.x-dev.20191224
Search Terms:
Code
let revision: symbol;
const rev = revision = Symbol();
rev === revision;
Expected behavior:
Type rev is unique symbol.
Actual behavior:
Type rev is symbol. Can't even declare that rev is a unique symbol.
Playground Link: https://www.typescriptlang.org/play/index.html?ts=3.8.0-dev.20191224&ssl=1&ssc=1&pln=3&pc=18#code/DYUwLgBATiBuCWBneB7AdgLgogngWwCMVgBuAKAGN1FIZYIBeaOJVNRiAZXyOAAoAlOTqMGTOq3QkgA
Related Issues:
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
首先,使用报告中的 3.8.0-dev 版本在链接的 TypeScript Playground 中复现示例,然后比较字面量示例的推断结果与 unique symbol 赋值的推断结果。issue 中没有指定源文件或测试;完成标准是,在所提供的代码中,rev 被推断为 unique symbol 而不是 symbol。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- typescript
- 领域
- compilers
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 描述清楚
- 新手友好度
- 35/100