https://issues.dlang.org/show_bug.cgi?id=13508
--- Comment #3 from [email protected] --- 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. --
