ユニオンタイプの型推論 - 最も一般的なタイプはありません

Question

したがって、私はTypeScriptで型推論をしています。私は、呼び出されたときに同じ結果をもたらす2つの例を提供しますが、そのうちの1つでは、TypeScriptは「No best common type」のために型を推論できません。三オペレータ

function foo(a: boolean) { 
    return a ? 4 : true; 
} 

コンパイラで

例fooが素晴らしいある(a: boolean) => number | booleanであると推定します。戻り値の型を推論しようとすると、コンパイラは「いいえ最高の一般的なタイプの」文句を言う声明

function foo(a: boolean) { 
    if (a) { 
     return 4; 
    } else { 
     return true; 
    } 
} 

場合と

例。もし文が型推論を混乱させるならば、それは私に混乱します。どうして？