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