您可以通过向任务组提供所讨论的数组的副本来避免这个问题，从而避免从withTaskGroup闭包中访问类的属性。
一种简单的方法是使用捕获列表，替换：

await withTaskGroup(of: Void.self) { group in
    …
}

其中：

await withTaskGroup(of: Void.self) { [images] group in
    …
}

注意，通常不需要担心这个“复制”过程的效率（无论是通过捕获列表还是通过显式地将值类型数组赋值给一个新的局部变量来实现），因为它巧妙地在后台使用了“写入时复制”机制，对应用程序开发人员完全透明。
使用“copy on write”，它实际上只在必要时复制数组（即，您修改或“写入”其中一个数组），否则会提供类似于“copy”的语义，而不会产生实际复制整个集合的成本。
您还可以通过让编译器知道原始数组不能变异来避免此问题，例如替换：

var images = […]

与

let images = […]

显然，只有当images确实不可变时，才能这样做。

为什么SKScene子类会引发此错误？
演员在哪里？
如果你沿着继承层次向上看，你会发现SKScene最终继承自UIResponder/NSResponder，后者用一个全局参与者MainActor标记，参见它的声明here。

@MainActor class UIResponder : NSObject

这就是actor所在的位置，因为类也继承自SKScene，而SKScene最终继承自UIResponder，所以类也与全局actor隔离。
为什么只有任务组？
这不仅仅是任务组，更简单的方法是：

func foo(x: () -> Void) {
    
}

func uploadCheckedImages() async {
    foo {
        let image = images[0]
    }
}

我可以减轻编译器对它作为inout传递的担忧吗？
是的，实际上有很多方法.一种方法是复制数组：

func uploadCheckedImages() async {
    let images = self.images // either here...
    await withTaskGroup(of: Void.self) { group in
        // let images = self.images // or here
        // ...
    }
}

如果可以的话，将images设置为let常量也是可行的。
在没有任何写入的情况下，争用条件如何可能？
我认为编译器在这里限制太多了。这可能是故意的，也可能不是故意的。看起来它对闭包中捕获的每个l值都报告了一个错误，即使它没有被写入。这个错误应该在situations like this中触发。
你的代码很好，如果你添加一个identity函数，并把所有的左值表达式传递给这个函数，这样它们在编译器看来就不再像左值了，那么编译器就完全可以处理它，即使函数上没有任何差别。

// this is just to show that your code is fine, not saying that you should fix your code like this

// @inline(__always) // you could even try this
func identity<T>(_ x: T) -> T { x }

await withTaskGroup(of: Void.self) { group in
    for i in images.indices {
        let prev = i == 0 ? nil : identity(images[i - 1])
        let curr = identity(images[i])