我在标准中找不到任何关于这一点的内容，这是UB还是定义良好的行为？

// Assuming T supports move semantics
void sink(T&& t) 
{
    // bla bla
}
std::list<T> list = getSomeList();
for (auto it = list.begin(); it != list.end(); )
{
    if (some pred) 
    {
        sink(std::move(*it));
        it = list.erase(it) // is this valid following the std::move() ??
    }
    else
        ++it;
}