| // 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 { |
| deinit { |
| struct e == { x in a { |
| return [unowned self.e { |
| class A { |
| func compose<U : e where A? = B<C> { |
| override init(b.init() -> { |
| var f: B) { |
| } |
| } |
| } |
| let t: C { |
| typealias R = { c: String = { |
| } |
| } |
| } |
| } |
| } |
| protocol P { |
| } |
| } |
| static let i: NSObject { |
| } |
| } |
| e : U : H) -> { |
| } |
| typealias e = compose<T! { |
| } |
| let a { |
| } |
| } |
| typealias e : e, |
