Suppose that I guarantee (through unspecified means) that I have an array of type [*mut T; N] containing N valid and disjoint muta
[*mut T; N]
N