test()
{
    i:bool;
    a:int[i][];
}
//@PRACOWNIA
//@should_not_typecheck