Есть ли преимущества стирания типа для Scala?

Я много слышал о разных языках JVM, все еще находящихся в парном режиме, которые предлагают как-то реализовать реификацию. У меня есть эта нытье, наполовину запомнившаяся (или полностью воображаемая, не знаю какая), думала, что где-то я читал, что Scala каким-то образом воспользовалась стиранием типов JVM, чтобы делать вещи, которые он не смог бы сделать с реификацией. Что на самом деле не имеет для меня смысла, поскольку Scala реализована как в CLR, так и в JVM, поэтому, если повторение вызвало какое-то ограничение, оно появилось бы в реализации CLR (если Scala в CLR просто игнорирует повторение) .

Итак, есть ли хорошая сторона у стирания типа для Scala, или же реификация - абсолютный плюс?