<< §B.2.(2) Between OTJLD 1.1 and OTJLD 1.2 | ↑ Table of Contents ↑ |
§B.2.(3) Between OTJLD 1.2 and OTJLD 1.3
- §3.1.(k) :
Callout to generic method
Added a rule on how a callout binding may refer to a generic base method.
- §4.1.(h) :
Binding to team methods
before
andafter
callin bindings can now bind to methods of an enclosing class, too. - §4.10.(e) :
Propagating type parameters in callin bindings
In addition to capturing covariant return types, a callin binding may also declared type parameters in order to propagate genericity from its base method to the role method.
- §5.3.(d) :
Configuring implicit activation
Mechanisms have been added for configuring implicit team activation. The default has been changed to not apply implicit activation. A corresponding note has also been added to §5.3
- §9.2.1.(a) :
Instance constrained type parameter
Type anchors can now be applied to type parameters, too, thus expressing a new kind of constraint on the type parameter.
<< §B.2.(2) Between OTJLD 1.1 and OTJLD 1.2 | ↑ Table of Contents ↑ |