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

Commencez par reproduire les deux exemples de déclarations dans le TypeScript Playground lié et comparez la manière dont sont vérifiés les bindings individuels et les déclarations de fonctions surchargées. Suivez le point d’entrée du compilateur qui valide les types de retour en conflit ; le travail est terminé lorsque foo et bar produisent tous deux l’erreur attendue de manière cohérente.