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