Is this pattern match redundant?

Question

I recently fell over a scala pattern match, that looked more or less like this:

def func (li :List[Int]): List[Int] = li match {
  case Nil => Nil
  case s