// 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
struct B<T : A> {
func f<g>() -> (g, g -> g) -> g {
d j d.i = {
}
{
g) {
h  }
}
protocol f {
}
class d: f{  class func i {}
struct d<f : e,e where g.h == f.h> {
}
}
protocol a {
typeal= D>(e: A.B) {
}
}
}
override func d() -> String {
func}
func b((Any, c))(Any, AnyObject
func g<T where T.E == F>(f: B<T>) {
}
struct c<S: Sequence, T where Optional<T> == S.Iterator.Element>
