This allow for propagation through structs with dynamically indexed
arrays. This supports recent removal of non-io struct flattening.