On 8/26/2024 1:33 AM, Richard (Rikki) Andrew Cattermole wrote: > This appears to be an interaction between DIP1000 and the fact that ``@trusted`` > functions have an interface that is required to be ``@safe`` but not its body > validated. It not only appears to be, it is true that trusted functions are not validated.