Can confirm that I routinely run into situations where I think the C++ compiler should be able to _nearly_ trivially infer the types code I'm writing, but for some reason or another, it can't.

I have no idea if these situations are due to the spec, bugs, or a mixture of both, but they do happen, and pretty frequently at that.