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