Thread overview
[Issue 23127] @safe inference seems to depend on semantic analysis order
May 19, 2022
kinke
May 19, 2022
mhh
May 20, 2022
mhh
May 20, 2022
mhh
Jul 21, 2022
kinke
Jul 21, 2022
kinke
May 19, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

kinke <kinke@gmx.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |industry

--
May 19, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

mhh <maxhaton@gmail.com> changed:

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

--- Comment #1 from mhh <maxhaton@gmail.com> ---
I'm going to have a crack at this tonight.

--
May 20, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

--- Comment #2 from mhh <maxhaton@gmail.com> ---
Some printf debugging:

Context: popFront
exp: sym/rbtree.d(22):(*this._begin).next()
Data about f:
        next
        sym/rbtree.d(9)
        (null)
        next has type RBNode!(Pair)*()
setUnsafe:  next
setUnsafe: In progress
        sc.flag & compile: not
setUnsafe: sym/rbtree.d(9) popFront
setUnsafe: In progress

FuncDeclaration::semantic3(function 'next', sc = 0x7f7eb91f03d0)

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Semantic3 is on next run *after* its first use.

--
May 20, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

--- Comment #3 from mhh <maxhaton@gmail.com> ---
RBNode has it's AggregateDecl semantic3 done far far too late. I've checked for plain memory corruption, I think this is something trying to be clever and failing (as per usual).

--
July 21, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

--- Comment #4 from kinke <kinke@gmx.net> ---
The 2 failing cmdlines work when disabling an apparent hack in https://github.com/dlang/dmd/blob/e2b4fb6d8a60ef33f5bbc6309e250024bbebb1a0/compiler/src/dmd/func.d#L441-L450.

--
July 21, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

kinke <kinke@gmx.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |blocker

--
July 23, 2022
https://issues.dlang.org/show_bug.cgi?id=23127

johanengelen@weka.io changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |johanengelen@weka.io

--- Comment #5 from johanengelen@weka.io ---
Related issue: https://issues.dlang.org/show_bug.cgi?id=17541

--
December 13
https://issues.dlang.org/show_bug.cgi?id=23127

--- Comment #6 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/20109

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--