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

Dennis <dkor...@live.nl> changed:

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

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

--

Reply via email to