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