diff --git a/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala b/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala
index e48a956c..0d808ade 100644
--- a/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala
+++ b/src/main/scala/com/sageserpent/kineticmerge/core/CodeMotionAnalysisExtension.scala
@@ -191,22 +191,6 @@ object CodeMotionAnalysisExtension extends StrictLogging:
             end match
         }
 
-      // NOTE: have to delay this assumption check until after the complete move
-      // destination report has been finalized, and *not* make it an invariant
-      // of `MoveDestination`. This is because divergent moves are entered as
-      // separate left- and right-moves, so any such invariant could (and does)
-      // break.
-      moveDestinationsReport.moveDestinationsByMatches.values.foreach {
-        moveDestination =>
-          if moveDestination.isDegenerate then
-            // We don't consider left- and right-insertions to be degenerate
-            // moves, as there is no match involved.
-            assume(
-              moveDestination.isDivergent || moveDestination.coincident.nonEmpty
-            )
-          end if
-      }
-
       def isMoveDestinationOnGivenSide(
           section: Section[Element],
           side: Side,