Является ли код, работающий в основном потоке, гарантированно безопасным для `MainActor.assumeIsolated`

У меня есть следующий код, и я не уверен, безопасен ли он:

extension Timer {

  @MainActor // <- 1
  static func myScheduled(
    interval: TimeInterval, 
    block: @escaping @MainActor @Sendable () -> Void) -> Timer // <- 2
  {
    
    return scheduledTimer(withTimeInterval: interval, repeats: true) { _ in
      MainActor.assumeIsolated(block) // <- 3
    }
  }
}

В приведенном выше коде первая аннотация @MainActor (отметка 1 в коде) гарантирует, что функция myScheduled должна вызываться из изолированного контекста основного актера, а это означает, что Timer.scheduledTimer включит таймер RunLoop.main, а это означает, что должен быть вызван обратный вызов таймера. основная нить.

Моему block нужно вызвать какой-то API для главного актера, поэтому мне нужно пометить его как главного актера (отметка 2 в коде). Однако, поскольку компилятор не знает, что обратный вызов таймера будет выполняться в основном потоке, мне придется использовать здесь MainActor.assumeIsolated(block) (отметка 3 в коде), чтобы отключить предупреждение компилятора.

Мой вопрос: всегда ли безопасно делать такое предположение? Я точно знаю, что обратный вызов таймера происходит в основном потоке, однако я не уверен, всегда ли безопасно предполагать, что контекст основного потока должен быть изолирован от основного.

Из документа API MainActor.assumeIsolated:

Этот метод позволяет предположить и проверить, что выполняющаяся в данный момент синхронная функция действительно выполняется на последовательном исполнителе MainActor.

Эта проверка выполняется против последовательного исполнителя MainActor, что означает, что / если другой актер использует тот же последовательный исполнитель (используя SharedUnownedExecutor в качестве своего собственного unownedExecutor), эта проверка будет успешной, поскольку с точки зрения безопасности параллелизма последовательный исполнитель гарантирует взаимное исключение этих два актера.

Другими словами, если что-то выполняется в основном потоке, уверены ли мы, что это должно быть выполнено «исполнителем» этого главного актера?

Если это полезно, основной поток != основная очередь != главный актер. Например, из обсуждения здесь: Блок асинхронного завершения iOS не вызывается, мы знаем, что viewDidLoad находится в основном потоке, но не в основной очереди. Кроме того, UIViewController уже помечен как главный актер, что означает, что viewDidLoad находится в основном потоке + главный актер изолирован, но не в основной очереди.