// RUN: %target-typecheck-verify-swift | |
// SR-8813 | |
// By itself in this file because this particular expected error is omitted if there have been any other diagnostics. | |
protocol BaseProtocol { | |
associatedtype Value | |
typealias Closure = () -> Value | |
init(closure: Closure) | |
} | |
struct Base<Value>: BaseProtocol { | |
private let closure: Closure | |
init(closure: Closure) { //expected-error {{reference to invalid type alias 'Closure' of type 'Base<Value>'}} | |
self.closure = closure | |
} | |
} |