// 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
class A {
assert() -> S<T) {
}(x: d = a(t: A"\()
let a {
}
func b: NSObject {
self.d<U : C> {
protocol a {
class func f: T.B<I : Int -> V {
case b : T) -> S()"
}
}
}
deinit {
protocol a {
typealias e : e = b
func c