Iceman

@swift-5.6.3 @swift-5.7.3 struct S<T> { struct I {} func f() where T == I {} }

exit status: 1 with stderr:

<stdin>:3:12: error: cannot build rewrite system for generic signature; concrete nesting limit exceeded func f() where T == I {} ^ <stdin>:3:12: note: failed rewrite rule is τ_0_0.[concrete: S<S<S<S<S<S<S<S<S<S<S<S<S<S<S<τ_0_0>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I>.I] => τ_0_0 func f() where T == I {} ^