Date: Sun, 7 Jun 2026 23:48:50 +0300
On Sun, 7 Jun 2026 at 23:41, Michael Galuszka via Std-Proposals
<std-proposals_at_[hidden]> wrote:
> What I'd like feedback on
>
> 1. Is SG14/EWG broadly receptive to Layer 1 as a generalization of noexcept — that is, an effect specifier that is part of the function type, not an attribute?
To add more function-type (and pointer-to-function and
reference-to-function) specifiers that lead to different template
specializations,
and needs to be accommodated by various function wrappers, the added
facility needs to cure cancer.
<std-proposals_at_[hidden]> wrote:
> What I'd like feedback on
>
> 1. Is SG14/EWG broadly receptive to Layer 1 as a generalization of noexcept — that is, an effect specifier that is part of the function type, not an attribute?
To add more function-type (and pointer-to-function and
reference-to-function) specifiers that lead to different template
specializations,
and needs to be accommodated by various function wrappers, the added
facility needs to cure cancer.
Received on 2026-06-07 20:49:05
