Typescript: Suporte para retornar valores de funções de construtor

Versão 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());

Comportamento esperado:

Eu esperaria que tsc compilasse este código sem erros ou avisos, especialmente considerando que o tipo retornado sempre corresponde ao tipo esperado.

Em JavaScript, é possível que uma função construtora retorne um objeto. Quando isso é feito, o objeto retornado se torna o resultado de toda a expressão new (consulte a etapa 3 nesta documentação MDN para o novo operador ).

Preocupado com os tipos, posso ver por que o compilador TypeScript hesitaria em oferecer suporte a essa peculiaridade da linguagem JavaScript. Afinal, o compilador teria que verificar se o valor explicitamente retornado é o mesmo tipo que seria retornado do construtor se ele retornasse undefined (o caso usual). Acho que isso deve ser apoiado, porque:

1. TS afirma ser um superconjunto de JS.

2. Esta é uma técnica de JavaScript útil e popular

   O código acima funciona perfeitamente no Node.js e no navegador:

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

Comportamento real:

tsc emite um erro ao 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.