Date: Fri, 31 May 2024 10:36:57 +0100
Yeah I don't think we need a core language change at all. Having a
library-blessed elider, though, helps any library author to write the
correct elision deduction guides, and that's all that's required.
On Fri, May 31, 2024 at 10:35 AM Matthew Taylor <mjtaylor214_at_[hidden]> wrote:
>
> Indeed, and to be clear I was specifically referring to Frederick's idea of introducing "deduction failure guides" rather than the std::elite proposal as a whole. I'd like to see the proposal developed further, but personally am not entirely sold on introducing a core language rule tied to this specific type.
library-blessed elider, though, helps any library author to write the
correct elision deduction guides, and that's all that's required.
On Fri, May 31, 2024 at 10:35 AM Matthew Taylor <mjtaylor214_at_[hidden]> wrote:
>
> Indeed, and to be clear I was specifically referring to Frederick's idea of introducing "deduction failure guides" rather than the std::elite proposal as a whole. I'd like to see the proposal developed further, but personally am not entirely sold on introducing a core language rule tied to this specific type.
Received on 2024-05-31 09:37:12