Thread overview
[Issue 21255] "overload alias ... forward declaration" when overload set of imported template functions is passed to alias template parameter
Sep 16, 2020
FeepingCreature
Sep 16, 2020
Dlang Bot
Sep 16, 2020
Dlang Bot
Jan 02, 2021
Boris Carvajal
September 16, 2020
https://issues.dlang.org/show_bug.cgi?id=21255

--- Comment #1 from FeepingCreature <default_357-line@yahoo.de> ---
Simpler repro:

```
void decodeA()() { }
void decodeB()() { }

alias decode = decodeA;
alias decode = decodeB;

void foo(alias A)() { }

void main() { foo!decode; }
```

Seems it doesn't know how to mangle overload sets created by alias.

--
September 16, 2020
https://issues.dlang.org/show_bug.cgi?id=21255

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
@FeepingCreature created dlang/dmd pull request #11740 "Fix issue 21255: Mangle aliased overload set passed to template alias parameter." fixing this issue:

- Fix issue 21255: Mangle aliased overload set passed to template alias parameter.

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

--
September 16, 2020
https://issues.dlang.org/show_bug.cgi?id=21255

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

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

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #11740 "Fix issue 21255: Mangle aliased overload set passed to template alias parameter." was merged into master:

- d6f7073b1dfc7380140a676799a7d430a8e4051a by Mathis Beer:
  Fix issue 21255: Ignore overload declarations when checking for mangling
specialcases for template parameters.

  The problem is that overload declarations are kind of "fake declarations"
  without many of the properties DMD expects from ordinary declarations. So
  when we try to mangle them, DMD thinks they're "default" linkage, because
  that's LINK.init, and then it errors with "forward declaration" because
  I guess that can't happen normally?

  Anyways, there's already code for mangling an overload set; we just have
  to avoid crashing until we reach it.

  So now the commit just bypasses the bit that checks for special cases in
  declarations, ie. pragma(mangle) and extern(C).

  Why doesn't the handler for Declaration do all this?

  ¯\_(ツ)_/¯

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

--
January 02, 2021
https://issues.dlang.org/show_bug.cgi?id=21255

--- Comment #4 from Boris Carvajal <boris2.9@gmail.com> ---
*** Issue 19766 has been marked as a duplicate of this issue. ***

--