Learn more about cloning repositories
You have read-only access
Merge pull request #1009 from gregomni/sr-547 [SR-547][Sema] Invalidate more parts of protocols involved in recursive definitions
