I\'ve a piece of code for which I get a "match may not be exhaustive" warning from Scala 2.13.4, and I\'d like to suppress that warning with the <