#1482 Overriden non-nullable fields can be left uninitialized

dsav Thu 7 Apr 2011

Please consider the following code:

mixin Ttt {
  abstract Int[] t
}

class TttImpl : Ttt {
  override Int[] t
}

It compiles without any complains. t is set to null after the object is created. Is it a bug?

brian Thu 7 Apr 2011

Promoted to ticket #1482 and assigned to brian

Yeah I think that is a bug. In fact I saw that last week and it bit me and was thinking needed to create a bug report.

brian Tue 31 May 2011

Ticket resolved in 1.0.59

This fix should only check overrides of abstract fields. Overrides of concrete virtual fields should continue to work with no spurious error reporting.

Login or Signup to reply.