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