Typescript: Prise en charge des valeurs renvoyées par les fonctions du constructeur

Version TypeScript: 2.3.2

Code

// 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());

Comportement prévisible:

Je m'attendrais tsc ce que

En JavaScript, il est possible pour une fonction constructeur de renvoyer un objet. Lorsque cela est fait, l'objet retourné devient le résultat de l'expression entière new (voir l'étape 3 dans cette documentation MDN pour le nouvel opérateur ).

Étant préoccupé par les types, je peux voir pourquoi le compilateur TypeScript hésiterait à prendre en charge cette bizarrerie du langage JavaScript. Après tout, le compilateur devrait vérifier que la valeur explicitement retournée est du même type que celle qui serait retournée par le constructeur s'il avait renvoyé undefined (le cas habituel). Je pense que cela devrait être soutenu, car:

1. TS prétend être un sur-ensemble de JS.

2. Il s'agit d'une technique JavaScript utile et populaire

   Le code ci-dessus fonctionne très bien dans Node.js et dans le navigateur:

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

Comportement réel:

tsc émet une erreur lors de la vérification de ce code:

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