| // 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 |
| enum B : a { |
| class B<c(g, Any, k : T) -> U : a { |
| } |
| protocol a { |
| protocol A { |
| } |
| protocol a : C { |
| protocol A { |
| protocol b { |
| enum b { |
| } |
| for c { |
| } |
| } |
| protocol A { |
| } |
| } |
| return { self] in |
| } |
| class func a<T where h.Element == f: k) { |
| } |
| typealias A : b: start: (c(Any)) |
| () { |
| func d.e("](2, y: b.b { |
| var b: a { |
