robrix/Traversal — pull request #11 by robrix (2014-10-20 17:07:18+00:00)
Title: Recursive protocol conformance checking failure

If reducible type parameters are inferred, then `Latch` must already conform to `ReducibleType` for it to be correctly inferred that it conforms to `ReducibleType`. Recursive inferencing of this nature does not currently function.