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

(e == a
protocol A {
protocol A : A"\() {
typealias e : T, A {
class B<I : A"\(() -> c : A: c
func a
protocol A : e) {
