On Wed, 15 Jul 2020 at 19:30, Thiago Macieira via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> On Wednesday, 15 July 2020 08:02:54 PDT Arthur O'Dwyer via Std-Proposals
> wrote:
> > the keyword doesn't really *do* anything except documentation
>
> It could allow the compiler to devirtualise function calls, since a pointer to
> a final class can only point to an object of that particular class.

"Does" rather than "could". GCC does devirtualize calls with the help
of the keyword, that's implementation-wise
why its handling was moved from C++-specific parts of the compiler to
the less-language-specific ones because
the middle-end prefers it to be expressed that way.