Yes, there’s always the “sufficiently smart compiler” that can generate this code. Question is, does that compiler exist?
I wholly admit that this implies nothing about all optimizers. But it's a pretty reasonable one to expect.
and if so are the compile times worth it