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

//@PRACOWNIA
//@should_not_typecheck