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

//@PRACOWNIA
//@should_not_typecheck