test():bool[]
{
    return {}[0] + {}[0]
}
//@PRACOWNIA
//@stop_after typechecker