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