Typescript: Admite devolver valores de funciones constructoras

Versión de TypeScript: 2.3.2

Código

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

Comportamiento esperado:

Esperaría que tsc compile este código sin errores ni advertencias, especialmente considerando que el tipo devuelto siempre coincide con el tipo esperado.

En JavaScript, es posible que una función constructora devuelva un objeto. Cuando se hace esto, el objeto devuelto se convierte en el resultado de la expresión new (consulte el paso 3 en esta documentación de MDN para el nuevo operador ).

Al preocuparme por los tipos, puedo ver por qué el compilador de TypeScript dudaría en admitir esta peculiaridad del lenguaje JavaScript. Después de todo, el compilador tendría que verificar que el valor devuelto explícitamente sea del mismo tipo que devolvería el constructor si hubiera devuelto undefined (el caso habitual). Creo que esto debería ser apoyado, porque:

1. TS afirma ser un superconjunto de JS.

2. Esta es una técnica de JavaScript útil y popular

   El código anterior se ejecuta bien en Node.js y en el navegador:

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

Comportamiento real:

tsc emite un error al verificar este código:

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