experimental_feature_strictconcurrency.swift

// RUN: %target-swift-frontend -target %target-swift-5.1-abi-triple -enable-experimental-feature StrictConcurrency -emit-sil -o /dev/null -verify %s
// RUN: %target-swift-frontend -target %target-swift-5.1-abi-triple -enable-experimental-feature StrictConcurrency=complete -emit-sil -o /dev/null -verify %s
// RUN: %target-swift-frontend -target %target-swift-5.1-abi-triple -enable-upcoming-feature StrictConcurrency -emit-sil -o /dev/null -verify %s

// REQUIRES: concurrency
// REQUIRES: swift_feature_StrictConcurrency

classC1{} // expected-note{{class 'C1' does not conform to the 'Sendable' protocol}}
classC2{}

@available(*, unavailable)
extensionC2:Sendable{} // expected-note{{conformance of 'C2' to 'Sendable' has been explicitly marked unavailable here}}

protocolTestProtocol{
associatedtypeValue:Sendable
}

structTest1:TestProtocol{ // expected-warning{{type 'Test1.Value' (aka 'C1') does not conform to the 'Sendable' protocol}}
typealiasValue=C1
}

structTest2:TestProtocol{ // expected-warning{{conformance of 'C2' to 'Sendable' is unavailable}}
 // expected-note@-1{{in associated type 'Self.Value' (inferred as 'C2')}}
typealiasValue=C2
}

@MainActor
func iterate(stream:AsyncStream<Int>)async{
nonisolated(unsafe)varit= stream.makeAsyncIterator()

whilelet element =await it.next(){
print(element)
}

forawaitxin stream {
print(x)
}
}