| // 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 w<p : x> { |
| } |
| func t<p>() -> [w<p>] { |
| } |
| struct p<l : u, w: u where w.j == l.j> { |
| } |
| protocol u { |
| } |
| class u<v : u> { |
| } |
| class t<l : b, w : b where l.p == w> { |
| } |
| struct w<j : b> : b { |
| } |
| protocol u { |
| } |
| struct m<v : u> { |
| } |
| protocol l { |
| } |
| struct w : l { |
| } |
| struct b<j> : u { |
| func b(b: b.s) { |
| } |
| } |
| protocol t { |
| } |
| class b<j : w, u : w where j.w == u> : t { |
| } |
| class b<j, u> { |
| } |
| protocol w { |
| } |
| class t { |
| } |
| protocol t : t |
