test(x:bool)
{
    if x {
        y:int
    } else {
        y:int[]
    }
}
//@PRACOWNIA
//@stop_after typechecker