> This optimization is guaranteed to occur. I vaguely remember that there are some obscure corner cases when it's won't occur but I can't recall them since I h

> This optimization is guaranteed to occur. I vaguely remember that there are some obscure corner cases when it's won't occur but I can't recall them since I haven't written C++ since 2016.