[webkit-dev] 'final' class specifier and 'final' method specifier

[Darin Adler]

> On Dec 19, 2018, at 1:52 AM, Fujii Hironori <fujii.hironori at gmail.com> wrote:
> 
> I'd like to change this because 'final' doesn't necessarily imply
> 'override'. See the following stackoverflow:
> https://stackoverflow.com/questions/29412412/does-final-imply-override

I’d be happy to require both final and override if there was any benefit to doing so.

I read it fairly carefully, and I don’t think it says anything meaningful for us. Maybe we can find a real example in WebKit code where there’s a “final” and if we added “override”, it would have caught a mistake that “final” won’t catch?

— Darin