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