Явное преобразование типов в Scala

Допустим, у меня есть следующий код:

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

Как исправить последнюю строку этого кода? В принципе, я просто хочу сделать то, что на C-подобном языке будет сделано:

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
  }
}