// 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
enum B : a {
class B<c(g, Any, k : T) -> U : a {
}
protocol a {
protocol A {
}
protocol a : C {
protocol A {
protocol b {
enum b {
}
for c {
}
}
protocol A {
}
}
return { self] in
}
class func a<T where h.Element == f: k) {
}
typealias A : b: start: (c(Any))
() {
func d.e("](2, y: b.b {
var b: a {
