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

リンク先の TypeScript Playground にある 2 つの宣言例をまず再現し、単一のバインディングとオーバーロードされた関数宣言がどのようにチェックされるかを比較します。競合する戻り値の型を検証するコンパイラのエントリポイントを追跡します。foo と bar の両方が一貫して期待されるエラーを生成すれば完了です。