diff --git a/Destructors.rest b/Destructors.rest
index 9878161..9994820 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -160,6 +160,14 @@ An analysis like "every code path provable leads to the parameters consumption"
 
 **Solution**: The analysis can introduce a fallback path with hidden bool flags like ``if not flag: =destroy(sinkParam)``. Furthermore the compiler should probably get even smarter in its inference of ``raises: []``.
 
+This solution has been implemented.
+
+
+Object and array constructors
+=============================
+
+Passing a value ``x`` to an object or array constructor as in ``MyObject(field: x)`` is conceptually the same as ``=sink(myobj.field, x)``. This still needs to be implemented.
+
 
 Interactions with the GC
 ========================