[Issue 18002] assert subverts the type system with the messages that it accepts

[d-bugmail at puremagic.com]

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

--- Comment #2 from hsteoh at quickfur.ath.cx ---
See the code I posted in issue #18003.  The compiler should reject any attempt
to pass a slice of a local variable to assert().

--