| << §7.2.(a) Inhibition of overriding | ↑ Table of Contents ↑ |
§7.2.(b) Arrays of Confined
For any confined type C, i.e., a type which is not compatible to Object, an array of C is not compatible to an array of Object nor to Object itself. This rule ensures that confinement cannot be bypassed by a sequence of compatible assignments and casts.
Upcoming:
Only by widening to a non-role super-type, a role instance can be accessed from outside the team. In the future this can be inhibited by restricted inheritance.| << §7.2.(a) Inhibition of overriding | ↑ Table of Contents ↑ |
