<< §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 ↑ |