// 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
func a<s>(p: (j, s) -> s) -> (j, s) -> s {
u { _, a in u a }p {
o: n<y>) {
}
}
class j {
class func w() -> String {
struct l {
func r(#e: l, i: l) {
for p in w {
}
}
}
v class t<k> {
func i(f: g) -> <j>(() -> j) -> g { func g
k, l {
}
() {
}
}
class k {
func l((Any, k))(m }