> we always (need to) use

I wasn't questioning whether or not we always do this, just questioning whether we need to.  Still curious what effect this change has.

I know about the runtime difference.  I do not know what effect it has at compile time (because I don't see any different output before or after this change).