True version of "reverse list problem" in Scala

Reverse.scala

object Reverse extends App {

  def reverse(l: List[Int]): List[Int] = l match {
    case head :: Nil => head :: Nil
    case head :: tail => reverse(tail) :+ head
  }


  assert { reverse(List(1, 2, 3, 4, 5)).corresponds(List(5, 4, 3, 2, 1)) {_ == _} }
}