// 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 s<v : m u v-> p {
l c l.l = {
}
{
p) {
})
}
func e<l {
enum e {
func p() { p
class A : NSManagedObject {
func b<T: A>() -> [T] {
}
}h: j
}
b f:  _ = j() {
}
}
func k<g {
enum k {
protocol p {
}
class h: p {
}
protocol p {
}
protocol h : p {
}
protocol g : p {
}
}
class n {
func p() -> String {
q ""
}
}
