https://issues.dlang.org/show_bug.cgi?id=17374
Steven Schveighoffer <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #2 from Steven Schveighoffer <[email protected]> --- 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. --
