test(x:int, x:int, y:bool)

//@PRACOWNIA
//@should_not_typecheck