f(x:int)
f(x:int) : int

//@PRACOWNIA
//@should_not_typecheck