-
Enhancement
-
Resolution: Not an Issue
-
P4
-
None
-
None
-
generic
-
generic
A DESCRIPTION OF THE PROBLEM :
Records seem to be final per default, i.e., they can't be extended, and an error is produced when it is tried.
However, it is still possible to add a final modifier when a record is defined. This modifier doesn't seem to change anything. Hence, it seems to be redundant and create unnecessary confusion.
It would be good to not allow this modifier when a record is created.
REGRESSION : Last worked in version 20.0.1
Records seem to be final per default, i.e., they can't be extended, and an error is produced when it is tried.
However, it is still possible to add a final modifier when a record is defined. This modifier doesn't seem to change anything. Hence, it seems to be redundant and create unnecessary confusion.
It would be good to not allow this modifier when a record is created.
REGRESSION : Last worked in version 20.0.1