mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
d6db99a442
AsyncSequence is only polymorphic over 'throws' effects, not 'async', because it is @rethrows and not @reasync. So the logic here was wrong, and it would incorrectly conclude that a 'for await' with a concrete conformance did not require the outer function to be 'async'. Fixes rdar://problem/75436909.
84 lines
3.3 KiB
Swift
84 lines
3.3 KiB
Swift
// RUN: %target-typecheck-verify-swift -enable-experimental-concurrency
|
|
// REQUIRES: concurrency
|
|
|
|
// expected-note@+2{{add 'async' to function 'missingAsync' to make it asynchronous}}
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func missingAsync<T : AsyncSequence>(_ seq: T) throws {
|
|
for try await _ in seq { } // expected-error{{'async' in a function that does not support concurrency}}
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func missingThrows<T : AsyncSequence>(_ seq: T) async {
|
|
for try await _ in seq { } // expected-error{{error is not handled because the enclosing function is not declared 'throws'}}
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func executeAsync(_ work: () async -> Void) { }
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func execute(_ work: () -> Void) { }
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func missingThrowingInBlock<T : AsyncSequence>(_ seq: T) {
|
|
executeAsync { // expected-error{{invalid conversion from throwing function of type '() async throws -> Void' to non-throwing function type '() async -> Void'}}
|
|
for try await _ in seq { }
|
|
}
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func missingTryInBlock<T : AsyncSequence>(_ seq: T) {
|
|
executeAsync {
|
|
for await _ in seq { } // expected-error{{call can throw, but the error is not handled}}
|
|
}
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func missingAsyncInBlock<T : AsyncSequence>(_ seq: T) {
|
|
execute { // expected-error{{invalid conversion from 'async' function of type '() async -> Void' to synchronous function type '() -> Void'}}
|
|
do {
|
|
for try await _ in seq { }
|
|
} catch { }
|
|
}
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func doubleDiagCheckGeneric<T : AsyncSequence>(_ seq: T) async {
|
|
var it = seq.makeAsyncIterator()
|
|
// expected-note@+2{{call is to 'rethrows' function, but a conformance has a throwing witness}}
|
|
// expected-error@+1{{call can throw, but it is not marked with 'try' and the error is not handled}}
|
|
let _ = await it.next()
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
struct ThrowingAsyncSequence: AsyncSequence, AsyncIteratorProtocol {
|
|
typealias Element = Int
|
|
typealias AsyncIterator = Self
|
|
mutating func next() async throws -> Int? {
|
|
return nil
|
|
}
|
|
|
|
func makeAsyncIterator() -> Self { return self }
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func doubleDiagCheckConcrete(_ seq: ThrowingAsyncSequence) async {
|
|
var it = seq.makeAsyncIterator()
|
|
// expected-error@+1{{call can throw, but it is not marked with 'try' and the error is not handled}}
|
|
let _ = await it.next()
|
|
}
|
|
|
|
// rdar://75274975
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func forAwaitInsideDoCatch<Source: AsyncSequence>(_ source: Source) async {
|
|
do {
|
|
for try await item in source {
|
|
print(item)
|
|
}
|
|
} catch {} // no-warning
|
|
}
|
|
|
|
@available(macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, *)
|
|
func forAwaitWithConcreteType(_ seq: ThrowingAsyncSequence) throws { // expected-note {{add 'async' to function 'forAwaitWithConcreteType' to make it asynchronous}}
|
|
for try await elt in seq { // expected-error {{'async' in a function that does not support concurrency}}
|
|
_ = elt
|
|
}
|
|
} |