On 11/07/2024 2:31 PM, Walter Bright wrote: > The missing feature is there: > > ``` > @safe { > .. templates that must be safe .. > } > > .. templates that infer safe .. > ``` The point is, once @safe is the default, that capability goes away without @infer.