You maybe right. But in modular context (C++20 Modules), I believe it's ok.
BTW, can you give an example to illustrate that defect ? I just can't think of a reasonable situation.








>Date: Mon, 10 Aug 2026 12:33:05 +0200
>From: Bo Persson <bo_at_[hidden]>
>To: std-proposals_at_lists.isocpp.org
>Subject: Re: [std-proposals] Extending the usage of final: trying to
> make compiler optimize more aggressively and trying to make the
> language have a proper way to represent customization point objects
> (CPO).
>This would all be very sensitive to include order, if overloads are
>forbidden only after the 'final'.