<< §9.2 Using classes with value parameters | ↑ Table of Contents ↑ |
§9.3 Restrictions and limitations
(a) No overriding
Types with value parameters that are declared outside a team cannot be overridden, as roles can be. Therefor, implicit inheritance does not apply for these types.
(b) Only first parameter
Currently only the first parameter of a class may be a value parameter. This restriction may be removed in the future.
<< §9.2 Using classes with value parameters | ↑ Table of Contents ↑ |