Typescript: Mendukung nilai-nilai yang dikembalikan dari fungsi konstruktor

Versi TypeScript: 2.3.2

Kode

// example.js

var Person = function (firstNameOrPojo, lastName) {

    if (typeof firstNameOrPojo === "string") {
        this.firstName = firstNameOrPojo;
        this.lastName = lastName;
    } else {
        return new Person(firstNameOrPojo.firstName, firstNameOrPojo.lastName);
    }
};

Person.prototype.greet = function greet() {
    return `Hello, I am ${this.firstName} ${this.lastName}.`;
};

var fred = new Person({firstName: "Fred", lastName: "Flintstone"});

console.log(fred.greet());

Perilaku yang diharapkan:

Saya mengharapkan tsc untuk mengkompilasi kode ini tanpa kesalahan atau peringatan, terutama mengingat tipe yang dikembalikan selalu cocok dengan tipe yang diharapkan.

Dalam JavaScript, dimungkinkan bagi fungsi konstruktor untuk mengembalikan objek. Ketika ini selesai, objek yang dikembalikan menjadi hasil dari seluruh ekspresi new (lihat langkah 3 dalam dokumentasi MDN ini

Memperhatikan jenis, saya dapat melihat mengapa compiler TypeScript ragu-ragu untuk mendukung kekhasan bahasa JavaScript ini. Bagaimanapun, kompilator harus memverifikasi bahwa nilai yang dikembalikan secara eksplisit adalah tipe yang sama yang akan dikembalikan dari konstruktor seandainya mengembalikan undefined (kasus biasa). Saya rasa ini harus didukung, karena:

1. TS mengklaim sebagai superset dari JS.

2. Ini adalah teknik JavaScript yang berguna dan populer

   Kode di atas berjalan dengan baik di Node.js dan di browser:

$ node example.js
Hello, I am Fred Flintstone.

Perilaku sebenarnya:

tsc mengeluarkan kesalahan saat memeriksa kode ini:

$ tsc --allowJs --checkJs --outDir ./dist example.js
example.js(8,16): error TS2350: Only a void function can be called with the 'new' keyword.