D damage and safety

original text
because use contain destroy, So it can't be for Security

R use(R, T)(T obj, R delegate(T) fT)
{
    
  scope (exit)
    destroy!false(obj);

  return fT(obj);
}

How to ensure Security call destroy?

Just call its Destructor yes @safe Of ,destroy It should be Security Of .
If Destructor yes @system, be Security The only way to invoke the code is :
(1) Make sure No violation Memory safe call Destructor Conditions ,
(2)( use Compile time and / Or runtime Check ) Make sure these conditions are met ,
(3) stay @trusted Function destroy.

use Derived as System , Closures are also not marked Security .
Mark use by Security , Let's see what they said .

Yes class , At present dmd+druntime Cannot statically decide Destructor whether Security .