Passing stack allocated string to `assert`

[Petar]

On Tuesday, 17 December 2019 at 08:47:49 UTC, Jacob Carlborg 
wrote:
> This code compiles with DMD 2.089.0 with the `-dip1000` flag:
>
> void main() @safe
> {
>     char[10] buffer = "0123456789";
>     assert(false, buffer[]);
> }
>
> Running this code will obviously assert, but the assert message 
> contains garbage. Should DIP1000 be able to catch this?
>
> --
> /Jacob Carlborg

Yes, depending on which druntime function the assert is lowered 
to.