test()
{
    x:int[] = 'X'
}
//@PRACOWNIA
//@stop_after typechecker
//@should_not_typecheck