| // 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 |
| func v<ih>() -> (ih, ih -> ih) -> ih { |
| h ih h.b = { |
| } |
| { |
| ih) { |
| ed } |
| } |
| protocol v { |
| } |
| class h: v{ class func b {} |
| class m<n : m> { |
| } |
| func u(l: Any, kj: Any) -> (((Any, Any) -> Any) -> Any) { |
| l { |
| } |
| } |
| func l(lk: (((Any, Any) -> Any) -> Any)) -> Any { |
| l lk({ |
| }) |
| } |
| func dc(a: v) -> <n>(() -> n) -> v { |
| } |
| class m: m { |
| } |
| class f : x { |
| } |
| protocol m { |
| } |
| k f : m { |
| } |
| k x<g, q: m where g.x == q> { |
| } |
| class ji<n>: u { |
| q(fe: n) { |
| } |
| } |
| protocol m { |
| } |
| k w<gf> : m { |
| func l(l: w.r) { |
| } |
| } |
| func ^(u: kj, l) -> l { |
| } |
| protocol u { |
| } |
| protocol l : u { |
| } |
| protocol w : u { |
| } |
| protocol h { |
| } |
| k h : h { |
| } |
| func b<ih : l, l : h where l.v == ih> (l: l) { |
| } |
| func b<f : h where f.v == w> (l: f) { |
| } |
| k m<n> { |
| } |
| class u<v : l, ih : l where v.h == ih> { |
| } |
| protocol l { |
| } |
| k w<ed : l> : l { |
| } |
| protocol w : l { func l |