rjmccall added a comment. Oh, you know, this should really propagate all the dependence bits, not just instantiation-dependence. It would be safer, at least. You could probably find a contrived example involving value-dependence. http://reviews.llvm.org/D18461