Committed in r218732, with test changes applied. I didn't end up making a general ImmovableType (ImmobileType?) because the test would have looked exactly the same. http://reviews.llvm.org/D5508