// 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