[Issue 13508] array vararg function safety not inferred

[via Digitalmars-d-bugs]

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

--- Comment #3 from hsteoh at quickfur.ath.cx ---
Yes, definitely there's a loophole somewhere. So that must be fixed.

But "conditionally safe" (i.e., conditional upon what arguments are passed by
the caller) is the same as "unsafe", because for example, if a function
performs pointer arithmetic, then as long as you make sure the pointers you
pass in are within bounds, then you won't get any unsafe operations in the
function. But that doesn't change the fact that the function is unsafe.

--