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