// 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 B : a {
protocol a {
protocol B == .A, (x)
}
protocol B : B, y: T)
}
struct Q<U) -> {
typealias F = B
