[Issue 21537] Function pointer* pointer' attributes not covariant when referencing (delegates' are)

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri Nov 5 20:22:51 UTC 2021


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

moonlightsentinel at disroot.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #2 from moonlightsentinel at disroot.org ---
The premise of this bug report is wrong, it passes a_pointer_ to a function
pointer instead of the function pointer. This fails because pointer conversions
are only allowed if the pointee is const-convertible to the target.

This is could be replaced by an enhancement request to make an exception for
attribute changes in function pointers. But that would be an odd special case.

The interface example is a duplicate of 21538

--


More information about the Digitalmars-d-bugs mailing list