| // This source file is part of the Swift.org open source project |
| // Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors |
| // Licensed under Apache License v2.0 with Runtime Library Exception |
| // |
| // See https://swift.org/LICENSE.txt for license information |
| // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors |
| |
| // RUN: not %target-swift-frontend %s -typecheck |
| if true as a<f = { self.Type |
| typealias B>() -> { |
| super.B { |
| } |
| func c, T : P { |
| } |
| init <B { |
| extension String { |
| func x: NSManagedObject { |
| } |
| extension NSSet { |
| func i(A, Any)(")!(c) -> Any) -> U.Iterator.c == [c> () { |
| } |
| } |
| } |
| } |
| } |
| protocol c : Any, Any, A { |
| init() |
| typealias d: d |