// 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 f: A<d: a {
func c<T: b<U>, let c = "").c() -> String {
return [() {
func b: a {
() -> d<T : A {
}
}
class A? {
return p: A<T -> {
}
}
protocol b {
}
func c] = b) -> {
private class a() -> Self {
class A {
protocol e : (object1: C<T: A> T) {
}
}
}
protocol a {
protocol P {
}
}
extension NSSet {
struct c() {
}
}
enum A : Any) {
}
typealias F>) -> {
}
let start = h>() -> Any, f: String) -> String {
}
}
}
struct X.C<c: U, b {
}
}
protocol b {
override func a<T : a {
