On 5/26/2020 12:07 AM, Timon Gehr wrote: > I don't think so. @trusted code can't rely on @safe code behaving a certain way > to ensure memory safety, it has to be defensive. I agree. The trusted code here is not passing safe arguments to g(), but it is trusted to do so.