diff --git a/Destructors.rest b/Destructors.rest index 9d8ae0e..ae384f8 100644 --- a/Destructors.rest +++ b/Destructors.rest @@ -66,8 +66,10 @@ destructor call needs to be injected. This is an important optimization to keep the produced code size small. There is a ``system.move`` proc that can be used to annotate the moves at callsite that can further eliminate copies. -Sink for locals ---------------- +Possible extension: Sink for locals +----------------------------------- + +**Note**: This is not yet implemented and of questionable utility. ``sink T`` is also a valid type for locals. For a variable ``v`` of type ``sink T`` no destructor call is injected and it is statically