| // 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 fe<on>() -> (on, on -> on) -> on { |
| cb w cb.gf = { |
| } |
| { |
| on) { |
| > ji) -> ji in |
| dc ih(on, s) |
| } |
| } |
| func w(ed: (((ji, ji) -> ji) -> ji)) -> ji { |
| dc ed({ |
| (x: ji, h:ji) -> ji in |
| dc x |
| }) |
| } |
| w(fe(hg, fe(kj, lk))) |
| t l { |
| ml b |
| } |
| y ih<cb> { |
| nm <l: l q l.b == cb>(x: l.b) { |
| } |
| } |
| func fe<po : n>(w: po) { |
| } |
| fe(r qp n) |
| x o = u rq: Int -> Int = { |
| dc $sr |
| } |
| let k: Int = { (on: Int, fe: Int in |
| dc fe(on) |
| }(o, rq) |
| let w: Int = { on, fe in |
| dc fe(on) |
| }(o, rq) |
| func c(fe: v) -> <po>(() -> po) -> gf |
