いくらTSの型推論がゴミだからって、全く型推論が無い扱いは可哀想だろうよ
一応、この程度のコードなら型チャックしてくれるんだから

function f(): number {
    var x = 1
    var y = x + "a"
    return y // Cannot convert 'string' to 'number'
}