An expression on or above the precedence level of comparison, containment, assignability and inheritance tests.

no type hierarchy

no supertypes hierarchy

no subtypes hierarchy