Typecheck is skipped on lambda invocation

[yhara]

This code is wrong but compiler shows no error.

let f = fn(x: Int){}
f("a")