test(x:bool[])
{
    x[15] = true
}
//@PRACOWNIA
//@stop_after typechecker