| // 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 |
| struct d<T, U, i: b = { |
| class A<T where T: b() -> T : X.C(.B() -> == b<d { |
| print(b(" |
| var f = [c<T : A<T>(()) -> { |
| } |
| protocol c == B<U) -> { |
| } |
| let g == B<T) { |
| } |
| let b = A, f.h : A |
