test(x:bool[])
{
    if x {
    } else {
    }
}
//@PRACOWNIA
//@should_not_typecheck