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