June 26, 2023
https://issues.dlang.org/show_bug.cgi?id=24014

Dennis <dkorpel@live.nl> changed:

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

--- Comment #1 from Dennis <dkorpel@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?

--