Conflicting function return types checked for single bindings, but not overloads.

TypeScript Version: 3.1.1-insiders.20180926 (what's running in the playground)

Search Terms: conflicting function return

Code

declare var foo: () => number
declare var foo: () => string

declare function bar(): number
declare function bar(): string

Expected behavior: foo and bar to both fail

Actual behavior: bar seems to still type-check, inconsistently with foo

Playground Link: https://www.typescriptlang.org/play/index.html#src=declare%20var%20foo%3A%20()%20%3D%3E%20number%0D%0Adeclare%20var%20foo%3A%20()%20%3D%3E%20string%0D%0A%0D%0Adeclare%20function%20bar()%3A%20number%0D%0Adeclare%20function%20bar()%3A%20string

Related Issues: N/A

Comienza reproduciendo los dos ejemplos de declaraciones en el TypeScript Playground enlazado y compara cómo se comprueban los bindings individuales y las declaraciones de funciones sobrecargadas. Rastrea el punto de entrada del compilador que valida los tipos de retorno en conflicto; se considera terminado cuando tanto foo como bar producen de forma coherente el error esperado.