OverridingPairsChecker
A class for checking all overriding pairs of class with a given check function
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
A hook that allows to adjust the type of member and other before checking conformance. Overridden in capture checking to handle non-capture checked classes leniently.
A hook that allows to adjust the type of member and other before checking conformance. Overridden in capture checking to handle non-capture checked classes leniently.
Attributes
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.
Attributes
- Definition Classes
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.
Attributes
- Definition Classes
Inherited fields
If not null: The symbol overridden by overriding
The current candidate symbol for overriding