C++ doesn’t use annotations like this on functions

On Sun, Aug 3, 2025 at 09:48 Frederick Virchanza Gotham via Std-Proposals <
std-proposals_at_[hidden]> wrote:

>
>
> I'm going off on a tangent here, but imagine if we could mark a function
> (or lambda) as follows:
>
> int Func(double) throw_on_nullptr
> {
> . . .
> }
>
> If you try to dereference a nullptr in this function, or if you perform
> addition or subtraction on a nullptr, it throws std::nullptr_t.
>
> Maybe?
>
>
>
>
>
>> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>