Явне перетворення типів у Scala

Скажімо, у мене є такий код:

abstract class Animal
case class Dog(name:String) extends Animal
var foo:Animal = Dog("rover")
var bar:Dog = foo //ERROR!

Як виправити останній рядок цього коду? В основному, я просто хочу зробити те, що мовою, подібною до С, було б зроблено:

var bar:Dog = (Dog) foo

Я сам це зрозумів. Є два рішення:

1) Виконайте явний акторський склад:

var bar:Dog = foo.asInstanceOf[Dog]

2) Використовуйте відповідність шаблону, щоб створити його для вас, це також виявляє помилки:

var bar:Dog = foo match {
  case x:Dog => x
  case _ => {
    // Error handling code here
  }
}