| // 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 |
| protocol c { |
| class A { |
| if true { |
| func f: NSObject { |
| enum A { |
| } |
| if c = c(v: NSObject { |
| } |
| f = b: e == T) { |
| func compose<T: C { |
| } |
| typealias e = c() -> V { |
| func a(f: A: A { |
| } |
| var d where T>) -> { |
| let d<T : P { |
| } |
| let c: P { |
| } |
| protocol c = e, V>: Array) { |
| } |
| self] { |
| print() -> { |
| } |
| protocol P { |
| } |
| } |
| var b = { |
| protocol P { |
| } |
| } |
| enum S<T) { |
| return g<T>: A() { |
| } |
| deinit { |
| } |
| } |
| } |
| } |
| } |
| } |
| extension NSSet { |
| } |
| } |
| } |
| var e: e!.e == c: String = compose(false) |
| protocol P { |
| } |
| typealias e : e == ni |