// 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 d<T where g: A where g, f<T) -> T -> String {
let c {
class p == {
protocol f {
return self["
}
class k , b {
(Any, m.init(j, i l, b class B, AnyObject) -> T {
u m h: k<T> String {
}
}
}
func b> String = T> d<T where T: Int = [1
j : A> Any) + seq
struct C<T) -> {
}
func b() -> i<l y ed) -> {
f : A {
func f.m)
func a
typealias B == g.E
()-> {
}
protocol f d{ se
}
)
func d<T
return d.i : Array<T>)
}
protocol d = b.C<T.Type) -> U) -> Any) {
}
case .c(() -> t.f = g, o>>(b
func g<l p : ()
func a: b
}
return { enum a!)) -> {
enum A {
let n1: (p: P> T {
struct c(r: c, l lk: NSObject {
enum g : Array<h == [u, (n<h {
}
typealias e = [q(()
func f: (x: B) -> : c> (g.p, d<q ")))
}
o