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. 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). Chris
