reames added a comment. I'm a bit confused by the need/desirability of this change. Isn't it fairly simple to make the special case for widening conditional on the operator type within a single function? Or is there something more fundamental I'm missing? http://reviews.llvm.org/D13716