[Second review] SE-0395: Observability

[hborla (Holly Borla)]

@gwendal.roue

I'd be interested in learning about what is missing from the language that would allow this proposal to not require default values (and avoid the undesired consequences described above).

I believe init accessors (currently in pitch) would allow @Observable to relax the default value restriction.