Aladdin - Scala Bugtracking
[#139] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Matthias Martin fixed 2003-09-12 12:58:00.0
subject Overriding with parameterized type aliases
code
abstract class A {
  type T;
}
class B {
  type T[A] = Int;
}
what happened
Compiles.
what expected Error message: parameterized types must never override other types (in partiular not non-parameterized ones).
[back to overview]
Changes of this bug report
Martin  edited on  2003-09-16 17:42:05.0