mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
5c008ab2ce
Unresolved types are formed in a few specific places within the type checker's recovery path; don't let them bleed into the substitution logic. Fixes rdar://problem/42448618.
20 lines
398 B
Swift
20 lines
398 B
Swift
// RUN: not %target-swift-frontend -emit-ir %s
|
|
|
|
protocol ObservableType {
|
|
associatedtype E
|
|
}
|
|
|
|
extension ObservableType where E == Any {
|
|
static func zip<O1>(_ source1: O1) { fatalError() }
|
|
}
|
|
|
|
extension ObservableType {
|
|
static func zip<O1, O2>(_ source1: O1, _ source2: O2) { fatalError() }
|
|
}
|
|
|
|
class Observable<Element> : ObservableType {
|
|
public typealias E = Element
|
|
}
|
|
|
|
Observable.zip(1, 2)
|