smells like a scalac bug?

welp.scala

object X extends App {
  def uniq[T](x: T) =
    new {
      type Q = this.type
      def e(x: Q) = ()
      def q2(x: Q): String = "hello!"
    }

  val x = uniq(1)
  val y = uniq(1)
  // x.e(y) // compilation error! cool!
  x.e(x) // NoSuchMethodException at runtime
  println(x.q2(x))
}