IIUC, if a closure captures an isolated parameter (directly, not via aliases), then it will (should?) be isolated to that capture. i tried adding in a _ = isolation line into the closure passed to operation: and it appeared to get past the second isolation assertion when called from the main actor.