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

class d<T where f
func a<I : a<U : C {
class d
extension
class B
func a
class d
var f: c: d where T> : a<g : e, f: e where T>: B<j : B
class B<T where g<H : c: d<g : a<j : a {
class B<U : T>: B
protocol l : c: e : B<h = c : d where g: d = T]()
struct g: a
struct A : d
let i: c
func a
let d<H : NSObject {
class d
let g: C {
func f: e : B
l()
extension
l()
struct A : d where T>: a
func f
let c {
protocol l : C {
func a
struct D : d
class d
protocol l : c: c: e, f
class d<H : T]()
let d<T where g<H : a {
let g: d where f
struct D : B<H : T>: C {
protocol l : e where T: A")
class d
protocol l : d where f
if true {
func a
struct g<g : d where H.h : d: e, f: T>: d where T>: c
class B<I : a
}
func f: d: a<h : B<I : B<U : c: a {
class B<H : a {
let d
let d<I : a {
func f.h : a
struct A : d
protocol l : c: d where f
func a<H : c: NSObject {
class d: a {
let d<h : A")
class d<h : a {
struct D : a<h : d where g: a
let d<g : A")
let g: e)
var f: a {
struct g: A")
b let g: A")
let c {
extension
struct g: a {
let c : B
extension
protocol l : f { func f: a<U : f { func f: d = nil
struct A {
var f
func f: T> : d
class d
class d<g : e where H.e : a
protoco
