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

説明

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

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。

着手することを issue にコメントします — 二人が同じ作業をするのを防げます。

リポジトリをフォークし、ブランチを切って変更します。

issue 番号を参照したプルリクエストを送ります。

調査の方向性

TypeScript Playground の再現例と Pick<A, keyof A> を使用するインターフェースから始めてください。マップ型が多相的な this 型をどのように保持するかを追跡し、その後、b.foo().bar() が型チェックを通過し、foo が A ではなく B を返すものとして扱われることを確認してください。

索引モデルが issue の本文から書いたものです。

評価

技術スタック

typescript

領域

compilers

issue の種類

バグ

難易度

4/5

見積もり時間

3〜5日

活発さ

停滞

明瞭さ

おおむね明確

初心者へのやさしさ

42/100

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

説明

コントリビューションガイド

はじめの一歩

調査の方向性

評価

新しい issue をメールで受け取る