empty return statement should be a compiler error when return type is specified

[tejacques]

Currently this function compiles just fine

function foo(x): string {
    return;
}

I understand that it's happening because undefined is a valid result for a variable of type string, and this sort of related back to #185, but a midway point could be to simply require the return statement to not be empty.

Similarly, this code fails to compile:

function foo(x): string {
}

But this one compiles:

function foo(x): string {
    if(false) {
        return;
    }
}

I think the expected behavior is that every branch should require an explicit return statement.

A side benefit of this is that you can get exhausting matching completeness basically for free:

function foo(x: number | string | boolean): string {
    if(typeof x === 'number') {
        return x.toString();
    } else if (typeof x === 'string') {
        return x;
    }
}

Currently the above compiles, but if TypeScript required an explicit return in every branch for non void return functions, there would be a compiler error because there are remaining types in the union. However this would compile:

function foo(x: number | string | boolean): string {
    if(typeof x === 'number') {
        return x.toString();
    } else if (typeof x === 'string') {
        return x;
    } else if (typeof x === 'boolean') {
        return ''+x;
    }
}

This is pretty nice! There is one edge case still -- because of the implicit void included in x, calling foo(null) or foo(undefined) will return undefined. I don't know what to do about this because it relates pretty heavily to #185. I think for now it can be ignored, and whatever resolution that (hopefully) happens there will take care of it.

[vladima]

function foo(x: number | string | boolean): string {
    if(typeof x === 'number') {
        return x.toString();
    } else if (typeof x === 'string') {
        return x;
    }
}

as a note, currently if you compile this code snippet using current bits from master branch with --noImplicitReturns flag you'll get error

test.ts(1,45): error TS7030: Not all code paths return a value.

[tejacques]

Ah -- that's exactly what I was looking for. Thanks @vladima! I'm guessing this will be in 1.8.0?

[mhegazy]

yes. And it is already in typescript@next

[mhegazy]

so does this take care of the issue in OP?

[DanielRosenwasser]

I don't entirely think so; this does't cover accidentally omitting a return expression. But I shouldn't put words in @tejacques' mouth, so I'll let him speak for himself. 😄

[mhegazy]

we can make --noImplicitReturns flag return statements with no expression if the function return type is not void or any. not sure if that would be too restrictive though.

[tejacques]

@DanielRosenwasser is right -- this is really close now, but I would like to see an expression required.

I personally don't think it's too restrictive because the programmer has already declared their intent by specifying a return type on the function. If it remains as a flag, then doubly-so because it is opt-in. It's also a lot clearer that it is intentionally returning undefined if it is explicitly written out.

[mhegazy]

@vladima thoughts?