Are abstract type members a compile time construct?

Question

Scala: Are abstract type members a compile time construct?

Are they erased like type parameters?

Answer 1

Both abstract and concrete type members are a compile time construct. They disappear after scalac's erasure step, as can be seen with scalac -Xprint:erasure.