averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #72234 from DougGregor/attr-implements-assoc-failure-type

Browse Source 
[Associated type inference] Support `@_implements` on type witnesses and use it for async sequence `Failure`
This commit is contained in:
Doug Gregor
2024-03-11 21:03:54 -07:00
committed by GitHub
parent 26226f662c 5bdd4e5772
commit e0df6e01bd
12 changed files with 132 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
test/ModuleInterface/async_sequence_conformance.swift
View File

@@ -4,15 +4,21 @@
// REQUIRES: concurrency, OS=macosx
// CHECK: @available(
// CHECK-NEXT: public struct SequenceAdapte
// CHECK: public struct SequenceAdapte
@available(SwiftStdlib 5.1, *)
public struct SequenceAdapter<Base: AsyncSequence>: AsyncSequence {
// CHECK-LABEL: public struct AsyncIterator
// CHECK: @available{{.*}}macOS 10.15
// CHECK-NEXT: public typealias Element = Base.Element
// CHECK: #if compiler(>=5.3) && $AssociatedTypeImplements
// CHECK: @available(
// CHECK-NEXT: public typealias Failure = Base.Failure
// CHECK: @_implements(_Concurrency.AsyncIteratorProtocol, Failure)
// CHECK-SAME: public typealias __AsyncIteratorProtocol_Failure = Base.Failure
// CHECK-NEXT: #else
// CHECK-NOT: @_implements
// CHECK: public typealias __AsyncIteratorProtocol_Failure = Base.Failure
// CHECK-NEXT: #endif
public typealias Element = Base.Element
public struct AsyncIterator: AsyncIteratorProtocol {
@@ -23,11 +29,11 @@ public struct SequenceAdapter<Base: AsyncSequence>: AsyncSequence {
public func makeAsyncIterator() -> AsyncIterator { AsyncIterator() }
// CHECK: @available(
// CHECK-NEXT: public typealias Failure = Base.Failure
// CHECK: @_implements(_Concurrency.AsyncSequence, Failure)
// CHECK-SAME: public typealias __AsyncSequence_Failure = Base.Failure
}
// CHECK: @available(
// CHECK-NEXT: public struct OtherSequenceAdapte
// CHECK: public struct OtherSequenceAdapte
@available(SwiftStdlib 5.1, *)
public struct OtherSequenceAdapter<Base: AsyncSequence>: AsyncSequence {
// CHECK: public typealias Element = Base.Element
@@ -37,7 +43,8 @@ public struct OtherSequenceAdapter<Base: AsyncSequence>: AsyncSequence {
// CHECK-LABEL: public struct AsyncIterator
// CHECK: @available{{.*}}macOS 10.15
// CHECK: @available(
// CHECK-NEXT: public typealias Failure = Base.Failure
// CHECK: @_implements(_Concurrency.AsyncIteratorProtocol, Failure)
// CHECK-SAME: public typealias __AsyncIteratorProtocol_Failure = Base.Failure
public typealias Element = Base.Element
public struct Failure: Error { }
@@ -52,3 +59,16 @@ public struct OtherSequenceAdapter<Base: AsyncSequence>: AsyncSequence {
// CHECK-NOT: public typealias Failure
}
// CHECK: public struct MineOwnIterator
@available(SwiftStdlib 5.1, *)
public struct MineOwnIterator<Element>: AsyncSequence, AsyncIteratorProtocol {
public mutating func next() async -> Element? { nil }
public func makeAsyncIterator() -> Self { self }
// CHECK: @_implements(_Concurrency.AsyncIteratorProtocol, Failure)
// CHECK-SAME: public typealias __AsyncIteratorProtocol_Failure = Swift.Never
// CHECK: @_implements(_Concurrency.AsyncSequence, Failure)
// CHECK-SAME: public typealias __AsyncSequence_Failure = Swift.Never
}