Can pair sym1/sym2 be handled by parent parentType which is a common subtype
of both symbol's owners? Assumed to be true by default, but overridden in RefChecks.
Can pair sym1/sym2 be handled by parent parentType which is a common subtype
of both symbol's owners? Assumed to be true by default, but overridden in RefChecks.
Does sym1 match sym2 so that it qualifies as overriding when both symbols are
seen as members of self? Types always match. Term symbols match if their membertypes
relative to self do.
Does sym1 match sym2 so that it qualifies as overriding when both symbols are
seen as members of self? Types always match. Term symbols match if their membertypes
relative to self do.