Description Sebastian Zarnekow 2010-05-07 16:17:41 EDT

module A

var optional = 'zonk'

...

module B

@A {
// use default of property 'optional'
}

Module B should be revalidated and marked with an error if the default of 'optional' is removed. 

Second use-case:

module A

var String zonk

...

module B

@A {
  zonk = 'foo'
}

Module B should be revalidated and marked with an error if the type of A.zonk is changed to boolean.