we do enforce the types by way of the FlatteningStrategy; the error message here will be a CCE which is usually also rather clear