// 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 b: I.e {
class A {
func f.A> (x) {
}
class A? {
}
}
typealias A : start, U) -> String) {
let a {
protocol A {
func g<T : l) {
}
}
convenience init([unowned self.startIndex)("\(a
case A, let h> {
var b {
class A>(() {
var b: b(""")
}
typealias b = Int) -> V {
func a(f<d = 0.a<T) -> {
i> Any, """""
}
func b() {
return {
protocol b {
let c = b, x in x }
case .h : T> {
}
func g> ()).init(g<U) -> {
}
let d<U -> S : T> Int -> {
return { _, let h : Boolean>() {
}
}
}
}
}
convenience init(x) {
func d<Y> T>? {
}
}
}
}
}
protocol b {
init<d = D> S {
var a<T where T! {
struct Q<T -> Any {
}
}
}
typealias d : b: b) {
case c]() -> {
}
}
func b>
