swift

599bb799 - Sema: Generalize the 'invariant Self requirement' check to handle a related case

Sema: Generalize the 'invariant Self requirement' check to handle a related case There are three kinds of invariant 'Self' uses here: - 'Self' appears as the left hand side of a same-type requirement between type parameters - 'Self' appears as a structural component of the right hand side of a concrete type requirement - 'Self' appears as a structural component of the right hand side of a superclass requirement My previous fix only handled the first case. Generalize it to handle all three. Fixes rdar://problem/74944514.