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

b { func a
case c,
{
struct A {
Void{
class B<T : S<T>: b { func b<T : b { e>("\(e : S<T where S<T: c : (false)?
class d<Int>: B<e) -> c : B<T: b { func b<T where T: e
let start = [[]
let f = compose([]
Void{
let end = compose("
protocol c { e
class
case c,
