crash once we get to code i want to better understand

Author: kavon

include/swift/Sema/ConstraintSystem.h

@@ -573,10 +573,10 @@ class TypeVariableType::Implementation {
     }
 
     if (canBindToMoveOnly() && !otherRep->getImpl().canBindToMoveOnly()) {
-      assert(false && "yay, not dead code!");
-      if (record)
-        recordBinding(*record);
-      getTypeVariable()->Bits.TypeVariableType.Options &= ~TVO_CanBindToMoveOnly;
+      llvm_unreachable("not dead code, what should we do here?");
+//      if (record)
+//        recordBinding(*record);
+//      getTypeVariable()->Bits.TypeVariableType.Options &= ~TVO_CanBindToMoveOnly;
     }
   }