[Issue 24014] UDAs are lost during IFTI when function pointers are involved

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon Jun 26 13:33:09 UTC 2023


https://issues.dlang.org/show_bug.cgi?id=24014

Dennis <dkorpel at live.nl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dkorpel at live.nl

--- Comment #1 from Dennis <dkorpel at live.nl> ---
It works with structs because structs have a unique type from which you can
retrieve UDAs, but functions don't. Including UDAs in function types affects a
lot for the worse:

- type mangling (gets longer, more complex)
- rules regarding covariance/implicit conversion, overloading, overriding
- template instance re-use

I think you should use `alias` parameters instead. You say it doesn't work in
some cases, but if in those cases it could actually be made to work, perhaps
file an enhancement request for that instead?

--


More information about the Digitalmars-d-bugs mailing list