| // 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 A where g.c { |
| } |
| protocol P { |
| init() |
| } |
| protocol C { |
| var f : A where H.e : c>? { |
| print() -> (T>? = " |
| } |
| func compose<T](object1: P { |
| } |
| struct S<T) { |
| typealias R = D> Void>(#object1, AnyObject, e, e: U : A: Int { |
| } |
| class A : P { |