// 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
ass func b()
() {
class A<T where l.c : l) -> String {
public var a: T -> String {
protocol A {
}
case .b {
protocol d = F>({
protocol d where S<T? = {
return b[[Any) {
case b where f({
return NSData(n: A..a
var b[(Any)
class func f() { c(start, Any, g> {
if c : c {
class C(A<T
init(T>Bool]
init() -> Self {
return z(true }
b(start: Array<H : B? {
func g(f() -> Any, f: A, y: Int = F>(g, AnyObject, k : Sequence> ()
struct c : (i(c]()
defa