test()
{
    x:bool;
    x[0] = 1;
}
//@PRACOWNIA
//@should_not_typecheck