Thread overview
[Issue 23607] ICE caused by an invalid pipeline involving std.conv.to!string
Jan 08, 2023
Basile-z
Jan 08, 2023
Basile-z
Jan 08, 2023
Basile-z
[Issue 23607] invalid code leading to an ICE due to an error message that's not emitted anymore
Jan 08, 2023
Basile-z
Jan 08, 2023
Dlang Bot
Jan 09, 2023
Dlang Bot
Jan 11, 2023
Dlang Bot
Jan 14, 2023
Dlang Bot
January 08, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE caused by an invalid    |ICE caused by an invalid
                   |pipline involving           |pipeline involving
                   |std.conv.to!string          |std.conv.to!string

--
January 08, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

--- Comment #1 from Basile-z <b2.temp@gmx.com> ---
reduced:

```
template to(T)
{
    void to(T)(){}
}

alias comb = to!int.bad!0; ```

--
January 08, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

--- Comment #2 from Basile-z <b2.temp@gmx.com> ---
caused by https://github.com/dlang/dmd/pull/13946.

The PR removed error messages that are expected to be output in
src/dmd/typesem.d:321.
If not output, an assertion fails.

--
January 08, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE caused by an invalid    |invalid code leading to an
                   |pipeline involving          |ICE due to an error message
                   |std.conv.to!string          |that's not emitted anymore

--
January 08, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

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

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

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
@SixthDot created dlang/dmd pull request #14792 "fix issue 23607 - invalid code leading to an ICE due to an error mess…" fixing this issue:

- fix issue 23607 - invalid code leading to an ICE due to an error message that's not emitted anymore

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

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

--- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> ---
@BorisCarvajal updated dlang/dmd pull request #14796 "Remove some special cases from dmd.typesem.resolveHelper" fixing this issue:

- Fix Issue 23607 - invalid code leading to an ICE due to an error message that's not emitted anymore

  Small dmd.typesem.resolveHelper refactor by removing many conditions that
called helper3 anyway.

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

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

Steven Schveighoffer <schveiguy@gmail.com> changed:

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

--- Comment #5 from Steven Schveighoffer <schveiguy@gmail.com> ---
*** Issue 23615 has been marked as a duplicate of this issue. ***

--
January 11, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

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

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

--- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #14796 "Remove some special cases from dmd.typesem.resolveHelper" was merged into stable:

- 777ad9741c3ed01f47910f15d0af00ed71a08ffb by Boris Carvajal:
  Fix Issue 23607 - invalid code leading to an ICE due to an error message
that's not emitted anymore

  Small dmd.typesem.resolveHelper refactor by removing many conditions that
called helper3 anyway.

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

--
January 14, 2023
https://issues.dlang.org/show_bug.cgi?id=23607

--- Comment #7 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #14813 "Merge Stable into master" was merged into master:

- 144c87de86e69c86bc49bb6374b511d77bf03d12 by Boris Carvajal:
  Fix Issue 23607 - invalid code leading to an ICE due to an error message
that's not emitted anymore (#14796)

  Small dmd.typesem.resolveHelper refactor by removing many conditions that
called helper3 anyway.

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

--