题解是否有误？

https://www.luogu.com.cn/article/imrd3k6y

此题解中，在 tree_add 这一函数中有问题

    if(nl<=l&&nr>=r)
    {
        coverdown(now);  //这里应该不能下放懒标记吧？
        tree[now].maxn+=k;
        tree[now].sumtag+=k;
        return ;
    }

不知道是蒟蒻太菜看不懂还是题解有误