// 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 g<H : T! {
b
self.E == A> {
typealias R = b: a {
struct d<T
}
return nil
class func g.E == c> T! {
}
static let t: d = b<T>) -> Int = b
}
protocol P {
typealias e : a {
protocol a {
c(self.b = nil
if true {
func call(array: e: c: T where H.e where H.a
func b
}
typealias F = a
func call(x: A()
}
[T>("")("")
S<U : Int
}
struct S<T>) -> Int = nil
}
let d.B<T
convenience init(self)
class C<T, AnyObject, f()
}
}(f: A")
class func a
re