rafael accepted this revision. rafael added a comment. I also have a small preference for it. The reason being that if we don't need the generality of an arbitrary Type, not storing makes it clear that it is not used. http://reviews.llvm.org/D17879