Recursive protocol conformance requirement

This old discussion seems related.