This is unnecessary since the local conformances for a protocol can only contain self-conformances, which we don't want to visit anyway. This can just be a straightforward loop over the local conformances.