Running a type through a mapped type loses polymorph... | microsoft/TypeScript

Mô tả

TypeScript Version: 4.0.0-dev.20200622

Search Terms: polymorphic this mapped type

Expected behavior: b.foo() returns B

Actual behavior: b.foo() returns A even though the tooltip on foo says it returns this

Related Issues: None

Code

interface A {
    foo(): this
}

interface B extends Pick<A, keyof A> {
    bar(): this
}

declare let b: B;
b.foo().bar() // error

Output

"use strict";
b.foo().bar(); // error

Compiler Options

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "useDefineForClassFields": false,
    "alwaysStrict": true,
    "allowUnreachableCode": false,
    "allowUnusedLabels": false,
    "downlevelIteration": false,
    "noEmitHelpers": false,
    "noLib": false,
    "noStrictGenericChecks": false,
    "noUnusedLocals": false,
    "noUnusedParameters": false,
    "esModuleInterop": true,
    "preserveConstEnums": false,
    "removeComments": false,
    "skipLibCheck": false,
    "checkJs": false,
    "allowJs": false,
    "declaration": true,
    "experimentalDecorators": false,
    "emitDecoratorMetadata": false,
    "target": "ES2017",
    "module": "ESNext"
  }
}

Playground Link: Provided

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.

Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.

Fork repository và làm thay đổi trên một nhánh.

Mở pull request có tham chiếu số hiệu của issue.

Hướng nghiên cứu

Bắt đầu với bản tái hiện trong TypeScript Playground và các interface sử dụng Pick<A, keyof A>. Theo dõi cách kiểu ánh xạ bảo toàn kiểu this đa hình, sau đó xác minh rằng b.foo().bar() vượt qua kiểm tra kiểu và foo được xử lý như trả về B thay vì A.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ

typescript

Lĩnh vực

compilers

Loại issue

Lỗi

Độ khó

4/5

Thời gian dự kiến

3-5 ngày

Mức độ hoạt động

Đình trệ

Độ rõ ràng

Khá rõ ràng

Mức phù hợp với người mới

42/100

Running a type through a mapped type loses polymorphic `this` type

Mô tả

Hướng dẫn đóng góp

Bắt đầu từ đâu

Hướng nghiên cứu

Đánh giá

Running a type through a mapped type loses polymorphic `this` type

Mô tả

Hướng dẫn đóng góp

Bắt đầu từ đâu

Hướng nghiên cứu

Đánh giá

Nhận issue mới trong hộp thư của bạn