Explaining why something isn't safe

Mon Aug 16 15:26:34 UTC 2021

On 8/16/21 8:51 AM, Steven Schveighoffer wrote:

> It would be nice to have a pragma (or maybe this can be a compiler 
> diagnostic switch?) which shows the stack of inference that caused the 
> safety error. Or maybe it should just always be shown? After all, it is 
> an error, so no reason not to be fully descriptive.

MoonlightSentinel has a [draft 
PR](https://github.com/dlang/dmd/pull/12383) that seems to cover this! 
Any chance we can get this finalized/merged? This would be an *awesome* 
addition to the compiler.

-Steve