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

struct A {
func g<A<T: a {
}
var _ = compose() {
enum b : S<T {
class b: P {
var b {
init<T: B<h: a {
class func g<A.b = f<h: b {
}
class
case c,
