- 11.a
- Ramification: This includes evaluating the actual and doing a subtype conversion, which might raise an exception.
- 11.b
- The rule for evaluating a generic_association for a formal object of mode in out is covered by the general Dynamic Semantics rule in 12.3.