<< §3.3.(b) Parameter translation | ↑ Table of Contents ↑ | §3.3.(d) Typing rules >> |
§3.3.(c) Result translation
When returning a base object from a callout method where the role
method declares the result to be of a role class,
this object is implicitly lifted to the appropriate role.
Lowering the result of a callout binding is not possible.
<< §3.3.(b) Parameter translation | ↑ Table of Contents ↑ | §3.3.(d) Typing rules >> |