Nested types don't recognize protocol conformance in recursive methods

FWIW this issue is also being discussed in this thread and all the general advice there applies as well: Generic implementation doesn't work with concrete types - #6 by Slava_Pestov

2 Likes