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