// 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
__FUNCTION__
func a<T>() -> (T, T -> T) -> T {
class a {
var _ = i() {
class b<h : c, i : c where h.g == i> : a {
}
class b<h, i> {
}
protocol c {
}
struct A<T> {
}
protocol b {
}
struct c {
}
}
struct c<e> {
}
class k<f>: NSObject {
g(e: f) {
}
}
protocol i : d { func d