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

//@PRACOWNIA
//@should_not_typecheck