The array type is fine, because it is the containing type, which is used for TBAA.
This partially reverts commit 1786345c.