// 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
var m: Int -> Int = {
n $0
o: Int = { d, l f
}(k, m)
protocol j {
typealias l = d}
class g<q : l, m : l p q.g == m> : j {
class k {
protocol c : b { func b
