Ah I see, you need the annotation because in bytec...

# getting-started

[karelpeeters]

Ah I see, you need the annotation because in bytecode those properties would look the same, there's no difference between MutableCollection and Collection on the JVM.