<< §2.4.1.(a) Team context | ↑ Table of Contents ↑ | §2.4.1.(c) Duplicate role runtime check >> |
§2.4.1.(b) Fresh base object
If the argument to a lifting constructor invocation is a new
expression, creating a fresh base object, the use of the lifting constructor
is safe. Otherwise the rules of (c) below apply.
<< §2.4.1.(a) Team context | ↑ Table of Contents ↑ | §2.4.1.(c) Duplicate role runtime check >> |