主线程代码使用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
    }
  }
}

对代码的分析：

• 标记1的@MainActor注解保证myScheduled函数必须在MainActor隔离上下文调用，这意味着Timer.scheduledTimer会将定时器置于RunLoop.main，定时器回调必然在主线程执行。
• 我的block需要调用MainActor上的API，因此必须给它标记@MainActor（标记2）。但由于编译器不知道定时器回调会在主线程运行，我不得不使用MainActor.assumeIsolated(block)（标记3）来消除编译器警告。

我的问题是：这个假设是否始终安全？我确定定时器回调在主线程执行，但不确定主线程上下文是否一定属于MainActor隔离环境。

根据MainActor.assumeIsolated的API文档：

该方法允许假设并验证当前执行的同步函数确实在MainActor的串行执行器上运行。

此检查针对MainActor的串行执行器进行，这意味着如果另一个actor通过使用sharedUnownedExecutor作为自己的unownedExecutor来使用相同的串行执行器，此检查将成功，因为从并发安全角度来看，串行执行器保证这两个actor的互斥。

换句话说，在主线程运行的代码，是否必然由MainActor的执行器执行？

补充说明：主线程≠主队列≠MainActor。例如，viewDidLoad在主线程执行，但不在主队列；而UIViewController已标记为@MainActor，说明viewDidLoad处于主线程+MainActor隔离环境，但不在主队列。

内容的提问来源于stack exchange，提问作者OMGPOP