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

--- Comment #1 from Adam D. Ruppe <destructionator@gmail.com> ---
Actually, I think what I really want from the error message is for it to find the bottom-most inferred function that fails the expected check and then just issue  the error message it would give if it wasn't inferred.

So in my second example, call is inferred but failed. So it pretends to attach @nogc to it then simply issues the error message that it would as if it was written that way. Boom.

--

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

Nick Treleaven <nick@geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick@geany.org

--

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

Steven Schveighoffer <schveiguy@gmail.com> changed:

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

--- Comment #2 from Steven Schveighoffer <schveiguy@gmail.com> ---
I think the entire stack from the failed typecheck to the lower-most inferred function should be printed.

2 ways to do this: 1. run semantic again, but printing the inference results, or 2. store the line/reason that causes the inference to go the unexpected way.

Note that all attribute inference should be similar (@safe, nothrow, etc), but probably not dip1000 `scope` or `return` inference, since those aren't necessarily viral, and typically don't have large stacks of similarly-inferred templates to diagnose.

--

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

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hsteoh@quickfur.ath.cx

--

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

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
@dkorpel created dlang/dmd pull request #13957 "Issue 17374 - Begin improving inferred attribute error message for safety" mentioning this issue:

- Issue 17374 - Begin improving inferred attribute error message for safety

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

--

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

--- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #13957 "Issue 17374 - Begin improving inferred attribute error message for safety" was merged into master:

- d3f0c04ea291d5159c9954363f1a4811fd7b9994 by Dennis Korpel:
  Issue 17374 - Begin improving inferred attribute error message for safety

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

--

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

--- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> ---
@WalterBright updated dlang/dmd pull request #14044 "fix Issue 23058 - importC: cannot take address inside multi-dimension…" mentioning this issue:

- Issue 17374 - Begin improving inferred attribute error message for safety
(#13957)

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

--

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

--- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> ---
@thewilsonator updated dlang/dmd pull request #12596 "move apply from apply to aggregate" mentioning this issue:

- Issue 17374 - Begin improving inferred attribute error message for safety
(#13957)

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

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

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

--

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

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

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

--- Comment #7 from Dlang Bot <dlang-bot@dlang.rocks> ---
@dkorpel created dlang/dmd pull request #15051 "Fix 17374 - Improve inferred attribute error message" fixing this issue:

- Fix 17374 - Improve inferred attribute error message

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

--