     // 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.

    }
  }

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


      return
    }

    // FIXME: Remove this, it works around SR-14750 (rdar://45044610)
    var result = true

    // Use array's allocating initializer to create a temporary buffer---this
