On 4/5/2020 12:22 PM, Timon Gehr wrote: > Right. How can you claim that this is @safe code? Extern declarations are always going to rely on the user declaring them correctly. It's an inherent property of a language that supports separate compilation.