TypeScript compiler allows to define a function marked explicitly with a return type, with code branches which lead to an inconclusive return value! I know It is valid in JavaScript function not to...