test()
{
    x:int[] = "University"
    x = "of Wroclaw"
}

//@PRACOWNIA
//@stop_after typechecker