validation-test/compiler_crashers_fixed/00251-swift-constraints-constraintsystem-addconstraint.swift

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

import Foundation
class A {
    class func a() -> String {
        return ""
    }
  struct c {
            svar e: Int -> Int = {
    return $0
}
let d: Int =  { c, b in
}(f, e)
func a(b: Int = 0) {
}
let c = a
c()
func b(c) -> <d>(() -> d) {
}
enu: P {
   func f<T>() -> T -> T {
        return { x in x }
    }
}
protocol P {
    func f<T>()(T) -> T
}
protocol A {
    type