dynamic_actor_isolation.swift

// RUN: %target-typecheck-verify-swift -swift-version 5 -strict-concurrency=complete -enable-upcoming-feature DynamicActorIsolation -verify-additional-prefix swift6-
// RUN: %target-typecheck-verify-swift -swift-version 6 -verify-additional-prefix swift6-

// REQUIRES: swift_feature_DynamicActorIsolation

// Tests related to DynamicActorIsolation feature

// rdar://142562250 - error: call can throw, but it is not marked with ‘try’ and the error is not handled
@MainActor
structTestNoErrorsAboutThrows{
structColumn{
@MainActor
init?(_ column:Int){}
}

func test(columns:[Int]){
 // MainActor isolation erasure shouldn't interfere with effects checking
 _ = columns.compactMap(Column.init) // Ok
}
}