Nested fields can't be mutated about rhombus-prototype HOT 4 CLOSED

This also fails to compile:

class Foo():
  field bars = Array(Bar(), Bar(), Bar())

class Bar():
  field x = 1

let foo = Foo()
foo.bars[1].x := 2

from rhombus-prototype.

The soup thickens. If I add annotations, the singular case works:

class Inner():
  field x = 4

class Outer():
  field child :: Inner = Inner()

let parent = Outer()
parent.child.x := 5

...but the array case doesn't work:

class Bar():
  field x = 1

class Foo():
  field bars :: Array.of(Bar) = Array(Bar(), Bar(), Bar())

let foo = Foo()
foo.bars[1].x := 2

from rhombus-prototype.

You do need to include annotations, but Array.of doesn't propagate static information correctly, and I'll push a repair.

from rhombus-prototype.

(Leaving the PR open for the ":= requires static information" part, because it does seem like . plus := should support dynamic mode.)

from rhombus-prototype.