[Issue 21538] Overriding with more attributes on delegate parameter is allowed

[d-bugmail at puremagic.com]

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

Dlang Bot <dlang-bot at dlang.rocks> changed:

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

--- Comment #7 from Dlang Bot <dlang-bot at dlang.rocks> ---
dlang/dmd pull request #13267 "Fix 21538,20904: Correct implicitConvTo order
for delegate parameters in `Type.covariant`" was merged into master:

- f81a1ccaeb0aa3d5575332ceeca4280b5c585d7d by MoonlightSentinel:
  Fix 21538,20904: Correct implicitConvTo order for delegate parameters...

  ... in `Type.covariant`

  The ordering was inversed when compared to function pointers. That caused
  the check to accept e.g. less restrictive attributes for callbacks.

  Also changed the equality checks for `TypeFuntion` and `TypeDelegate`
  to `equals` because `==` didn't call the former and hence caused problems
  for duplicate instances.

https://github.com/dlang/dmd/pull/13267

--