Is banishing mandatory on cards that say "Discard or Banish a card", such as Argus Filch?

Question

Accepted Answer

No. You choose one of the two options, discarding or banishing, so banishing is optional. One poster argues that an option you cannot pay for cannot be refused either, and that view is disputed.

Harry Potter: Hogwarts Battle

Is banishing mandatory on cards that say "Discard or Banish a card", such as Argus Filch?