diff --git a/lib/Bytecode/Reader/ConstantReader.cpp b/lib/Bytecode/Reader/ConstantReader.cpp
index d52e5a6..fb2aa3f 100644
--- a/lib/Bytecode/Reader/ConstantReader.cpp
+++ b/lib/Bytecode/Reader/ConstantReader.cpp
@@ -110,12 +110,8 @@
 	   "Can't refine a type I don't know about!");
   }
 
-  if (OldType == NewType) {
-    assert(!OldType->isAbstract());
-    I->removeUserFromConcrete();
-  } else {
-    *I = NewType;  // Update to point to new, more refined type.
-  }
+  I->removeUserFromConcrete();
+  *I = NewType;  // Update to point to new, more refined type.
 }