Kodaira-Saito vanishing for the irregular Hodge filtration

After making correct, and then improving, our definition of the category of irregular mixed Hodge modules thanks to Mochizuki’s recent results arXiv:2108.03843, we show how these results allow us to obtain Kodaira-Saito-type vanishing theorems for the irregular Hodge filtration of irregular mixed Hodge modules.