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.
------------------------------------------------------------------------------------------------------------------------------------------------
Oh, I know, it's function (template) overload problem. But in that case, I think it's rather an ill-formed code than a defect. Just like normal usages of final, I really think that the core language lacks a way to ban overloads or specializations just like the way to ban derived classes or overrides.


>Date: Mon, 10 Aug 2026 12:33:05 +0200
>From: Bo Persson <bo@bo-persson.se>
>To: std-proposals@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'.