title: Higher-order, partial function — where to place @unchecked annotation?
body: <p>I've a piece of code for which I get a &quot;match may not be exhaustive&quot; warning from Scala 2.13.4, and I'd like to <strong>suppress that warning</strong> with the <code>@unchecked</code> annotation. Unfortunately, all my attempts of inserting <code>@unchecked</code> merely resulted in syntax errors.</p>
  <p>Here's a mercilessly simplified version of the original code:</p>
  <pre class="lang-scala prettyprint-override"><code>def foo(xs: Seq[Int], n: Int)(f: (Seq[Int], Int) =&gt; Int): Int = f(xs, n)
      
  foo(Seq(1,2), 0) { case (Seq(a,b), c) =&gt; a + b + c }
  </code></pre>
  <p><strong>Question:</strong> Where do I syntactically put <code>@unchecked</code> <strong>at call site</strong> in order to suppress the warning?</p>
  <p><sub>P.S. I'd like to suppress the warning, not start a discussion of whether or not that is evil ;-)</sub></p>