Clarification: interaction between `@property` and `@final`

The spec for @final says:

The method decorator version may be used with all of instance methods, class methods, static methods, and properties.

and it made me wonder how exactly final interacts with property. There are no conformance tests exercising this specific interaction.

From carefully reading the spec, it seems like the only effect of @final on a property is to prevent it from being overridden in a child class, and that decorating a property with @final does not cause it to be read-only or disallow a setter.

Is my understanding correct? If so, does it make sense to add a clarification to the spec that the decorator does not make a property read-only?

Bắt đầu với phần @final của đặc tả typing và xem xét các bài kiểm tra tính phù hợp hiện có cho thuộc tính, setter và tính kế thừa. Công việc được xem là hoàn tất khi đặc tả nêu rõ @final áp dụng cho thuộc tính như thế nào và, nếu phù hợp, một bài kiểm tra tính phù hợp ghi lại hành vi dự kiến.