Aladdin - Scala Bugtracking
[#714] project: compiler priority: low category: bug
submitter assigned to status date submitted
Sean _ _ 2006-08-28 13:36:04.0
subject leaky name mangling.
code
trait Test {
  trait A {
    private[Test] def foo : Int;
  }
  trait B extends A {
    override def foo : Int = 10;
  }
}
what happened
Doesn't type check.
what expected Should promotion be allowed for private qualified members? At any rate, a better error message would be nice.
[back to overview]
Changes of this bug report