     // If W > X + Y, X > Y + Z, and Y > Z, then the invariants are satisfied
     // for the entirety of `runs`.
     
-    // FIXME: Remove this, it works around rdar://problem/45044610
+    // FIXME: Remove this, it works around SR-14750 (rdar://45044610)
     var result = true
 
     // The invariant is always in place for a single element.

    runs[i - 1] = low..<high
    runs.remove(at: i)

    // FIXME: Remove this, it works around rdar://problem/45044610
    return result
  }
  

      _internalInvariant(runs.count == 1, "Didn't complete final merge")
    }

    // FIXME: Remove this, it works around SR-14750 (rdar://45044610)
    _precondition(result)
  }
}
