Added missing check for the override of a property that is marked `@f…#9862

Merged

erictraut merged 1 commit intomainfrom issue-9795

Feb 9, 2025

+85-46

Commits on Feb 9, 2025

Added missing check for the override of a property that is marked @final. This addresses #9795 .
erictraut
committed