Ability to override final methods in parametric classes

General Issues and Bug Reporting
, ,
1

Summary

Here’s the repro

parametric_class(t:type) := class<abstract>:
    SomeMethod<final>():void = Print("parametric_class")

parametric_class_int := class(parametric_class(int)):
    SomeMethod<override>():void = Print("parametric_class_int")

some_device := class(creative_device):
    OnBegin<override>()<suspends>:void=
        parametric_class_int{}.SomeMethod() # Will print "parametric_class_int"

Please select what you are reporting on:

Verse

What Type of Bug are you experiencing?

Verse

Steps to Reproduce

see repro

Expected Result

final methods shouldn’t be overrideable

Observed Result

the final method can be overridden

Platform(s)

PC

2

FORT-843309 has been closed as a duplicate of SOL-7578.

1 Like
3

@im_a_lama Please ping me at a later date for updates on this.

1 Like