- 6 ·
- For a formal object of mode in the actuals match if they are static expressions with the same value, or if they statically denote the same constant, or if they are both the literal null.
- 6.a
- Reason: We can't simply require full conformance between the two actual parameter expressions, because the two expressions are being evaluated at different times.
- 7 ·
- For a formal subtype, the actuals match if they denote statically matching subtypes.
- 8 ·
- For other kinds of formals, the actuals match if they statically denote the same entity.