Зачем компилятор должен поддерживать гигиену?

case class C(x: D)

↓

object C {
  def apply(x: D) = new C(x)
}

case class C(x: D)
object C { type D = Double }

↓

object C {
  type D = Double
  def apply(x: D) = new C(x)
}