// 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
struct S<T {
class func f<T where g<f : B) -> {
b> {
protocol d where I) -> String {
class A {
}
}
deinit {
}
}
var b() -> S<I : A: C<T.e {
}
typealias F = .Type) {
}
class d<T! {
}
self.E == {
}
protocol C {
func g(T.c {
