Allow users to customize the variance of built-in `Array`
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- typescript
- 领域
- compilers
调研方向
首先复现 issue 中链接的 TypeScript Playground 示例，尤其是 @noLib 下 built-in Array 与 _Array 之间的比较。跟踪 compiler 如何处理 built-in Array 的 variance，然后验证 abs = as 会像 _abs = _as 一样被拒绝，同时不改变所演示的自定义接口行为。
由索引模型根据 Issue 内容生成。
描述
Bug Report
🔎 Search Terms
Array covariance hardcoded?, Array invariance, --noLib
🕗 Version & Regression Information
Tested with 4.9.5
⏯ Playground Link
💻 Code
// @noLib: true
interface Array<T>
{ [i: number]: T | undefined
, push: (t: T) => number
}
interface _Array<T>
{ [i: number]: T | undefined
, push: (t: T) => number
}
declare let as: Array<"a">
declare let abs: Array<"a" | "b">
abs = as
declare let _as: _Array<"a">
declare let _abs: _Array<"a" | "b">
_abs = _as
🙁 Actual behavior
The assignment abs = as compiles.
🙂 Expected behavior
The assignment abs = as should not compile, just like the assignment _abs = _as does not compile.
- 主要语言
- 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
-
kind/bug
难度 2/5 1-3 小时 新手友好度 88/100
kubernetes-sigs/prow#953 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 88/100
caddyserver/caddy#8046 ·
-
难度 2/5 1-3 小时 新手友好度 86/100
-
L1 recommended for recruits
难度 2/5 1-3 小时 新手友好度 88/100
-
area/entangle bug
难度 1/5 1 小时以内 新手友好度 92/100