Check the following record members have the expected signature when explicitly added in source. Specifically check: member kind; parameter and return types; static-ness; accessibility; virtual / override / sealed; etc.

• Type EqualityContract { get; }
• bool Equals(Base other)