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

Beginne damit, die beiden Deklarationsbeispiele im verlinkten TypeScript Playground zu reproduzieren, und vergleiche, wie einzelne Bindings und überladene Funktionsdeklarationen geprüft werden. Verfolge den Einstiegspunkt des Compilers, der widersprüchliche Rückgabetypen validiert; abgeschlossen ist die Aufgabe, wenn sowohl foo als auch bar konsistent den erwarteten Fehler erzeugen.