// RUN: not %target-swift-frontend %s -parse

// Distributed under the terms of the MIT license
// Test case submitted to project by https://github.com/practicalswift (practicalswift)
// Test case found by fuzzing

protocol a {
typealias A : c(a: P {
typealias B<A"\(AnyObject.a(([[T where H.a() -> {
protocol c : A, f: B<T -> {
}
func c({
