Hi Chris, On Sat, Jan 17, 2026 at 05:47:34PM +0000, Christopher Bazley wrote: > Hi all, > > On Thu, Jan 15, 2026 at 12:56 AM Alejandro Colomar <[email protected]> wrote: > > The only place programmers would notice the different prototype would be > > in function pointers, but that's where Chris's proposal N3674 would kick > > in. It would allow unidirectional implicit conversions of functions > > where one is more restrictive than the other regarding qualifiers. > > > > I can't test that part, as there's no prior art in any compilers, as far > > as I know. > > I started an implementation of enhanced type variance (N3674) in GCC > during the summer. From memory, it mostly works, but I haven't found > time to complete it because I have had new challenges in my day job > and I have two very young children.
:-) > It would be very useful if I could > get sponsorship from my employer to work on this stuff. Yup! > Right now, any spare time I have is going into the technical > specification of _Optional (N3597) because the fact that SDCC has > already implemented _Optional has increased the urgency of that TS > relative to enhanced type variance (in my mind). Makes sense. > Chris Have a lovely night! Alex -- <https://www.alejandro-colomar.es>
signature.asc
Description: PGP signature
