From 9dadf6653fa7c7a404f2db4da0e6c0c84470ff53 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Mon, 22 Apr 2019 06:41:16 +0200
Subject: [PATCH] Updated Destructors (rest)

---
 Destructors.rest | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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