Polymorphic `this` and Generics

First, thank you team for polymorphic this. It is really handy!

I think I ran into a case though that I am finding challenging, when I need to return a this, but the generics might have changed. For example:

class A<T> {
    private items: T[] = [];
    map<U>(callback: (item: T, idx: number, a: this) => U): this {
        // boring implementation details
    });
}

Where I want to be able to change the generic type for the class with a function, but I will be contracting to return the "current" class, but I want to guard different generics. The following seems logical to me, but doesn't appear to be currently supported:

class A<T> {
    private items: T[] = [];
    map<U>(callback: (item: T, idx: number, a: this) => U): this<U> {
        // boring implementation details
    });
}

Where if no generics arguments are supplied, it is inferred to be the current ones, where as if they are supplied they are substituted.

この issue では、多相的な this とジェネリック型の置換の間で提案されている相互作用について説明されていますが、実装ファイル、テスト、エントリーポイントは示されていません。まず、コンパイラーにおける多相的な this とジェネリックなインスタンス化の処理箇所を特定してください。指定された推論および置換の規則に従って、要求された this<U> の動作がサポートされ、テストでカバーされていれば完了です。