Это пример стирания типа в Scala?

Question

Это пример стирания типа в Scala?

(None: Option[Int]) == (None: Option[String]) // true 

Answer 1

Это из источника: лестницу case object None extends Option[Nothing]

Перед стиранием как бы None[Nothing], потому что только один экземпляр None существует. Да, это пример стирания, но не очень хороший.