Thread overview
[Issue 23369] Confusing error message for duplicate import
Sep 24, 2022
mhh
Sep 24, 2022
Dlang Bot
Dec 17, 2022
Iain Buclaw
May 09, 2023
Dennis
September 24, 2022
https://issues.dlang.org/show_bug.cgi?id=23369

mhh <maxhaton@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |maxhaton@gmail.com

--- Comment #1 from mhh <maxhaton@gmail.com> ---
Doesn't seem to trigger at all for some symbols

--
September 24, 2022
https://issues.dlang.org/show_bug.cgi?id=23369

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

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

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
@maxhaton created dlang/dmd pull request #14484 "Fix Issue 23369 - Let more symbols be imported multiple times." fixing this issue:

- Fix Issue 23369 - Let more symbols be imported multiple times.

  The bug complains about the error message but the underlying problem here is
that
  the error doesn't trigger at all for most other kinds of symbols.

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

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=23369

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P4

--
May 09, 2023
https://issues.dlang.org/show_bug.cgi?id=23369

Dennis <dkorpel@live.nl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |dkorpel@live.nl
         Resolution|---                         |FIXED

--- Comment #3 from Dennis <dkorpel@live.nl> ---
PR was merged, but the bot didn't close it

--