// RUN: not %target-swift-frontend %s -parse

// Distributed under the terms of the MIT license
// Test case submitted to project by https://github.com/practicalswift (practicalswift)
// Test case found by fuzzing

func j<d>() -> (d, d -> d) -> d {
   b l b.k = {
}
 {
   d) {
        l  }
}
k j {
}
class b: j{  class func k {}
k b {
}
class c {
    func b() -> String {
    }
}
class l: c, b {
    f func> String {
    }
 {
}
func k<l : j, l : b l l.j == l> (j: l) {
}
func k<f : b l f.j == j> (d: String) -> <h>(() -> h
