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

//@PRACOWNIA
//@should_not_typecheck