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