> On 18 Mar 2025, at 21:09, Tiago Freire <tmiguelf_at_[hidden]> wrote:
>
> What is the point?
> If the function is not implemented, you can't use it.
>
> [[unimplemented]] void foo();
>
> void main()
> {
> foo();
> }
>
> It will always result in an invalid program. You can't call foo, ever, so why even define foo in the first place?
> What is the point of defining a "language feature" when all of its use cases result in an invalid application? i.e. all use cases are invalid.

One can override by a definition, and then use it.