これはScalaの型消去の例ですか？

Question

これはScalaのタイプ消去の例ですか？

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

Answer 1

これはScalaのソースからのものである：Noneの単一インスタンスのみが存在するため、両方がNone[Nothing]なり消去前 case object None extends Option[Nothing]

。はい、これは消去の例ですが、本当に良い例はありません。