The : never function, does not recognize another : never function it its body

[parzh]

TypeScript Version: 2.4.1

Code:

function foo(): never {
  throw new Error();
}


function bar(): never {
  foo(); // there's no reachable end point here
}

Expected behavior:
No compiler errors / warnings, since type annotation is present on function foo

Actual behavior:
Compiler: [ts] A function returning 'never' cannot have a reachable end point.

[RyanCavanaugh]

Duplicate of #14735 and its related issues