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

func a<f : b { func a<T where I.E == c,
case c,
([Void{
class B<T: P {
let t: b { func a<f : e)
if true {
class
case c,
