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 mô tả một tương tác được đề xuất giữa this đa hình và việc thay thế kiểu generic, nhưng không nêu tên các tệp triển khai, bài kiểm thử hoặc điểm vào nào. Hãy bắt đầu bằng việc xác định cách trình biên dịch xử lý this đa hình và việc khởi tạo generic; công việc được xem là hoàn tất khi hành vi this<U> được yêu cầu được hỗ trợ theo các quy tắc suy luận và thay thế đã nêu, đồng thời được kiểm thử.