You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It might be nice to have warnings for arbitrary redundancy, like `P & P`, or `Q & (P & R)` where `protocol Q: P, R {}`. If you implement the general check, `Any` might fall out of it, because it is vacuously true that all of the members of the protocol composition are implied by the other members. Of course, fully implementing the general check is likely to be harder than just checking for `Any`.
Additional Detail from JIRA
md5: e62505ea8ab5d2c5332b7a94d0c9e09a
Issue Description:
For example, we should warn on the following:
As the
Any
member of the composition is redundant.The text was updated successfully, but these errors were encountered: