diff --git a/docs/SIL.rst b/docs/SIL.rst
index 2490d5d5b6b1b..701a94909c240 100644
--- a/docs/SIL.rst
+++ b/docs/SIL.rst
@@ -2525,9 +2525,10 @@ except that ``destroy_addr`` may be used even if ``%0`` is of an
 address-only type.  This does not deallocate memory; it only destroys the
 pointed-to value, leaving the memory uninitialized.
 
-If ``T`` is a trivial type, then ``destroy_addr`` is a no-op. However, even a
-memory location ``%a`` with a trivial type must not be accessed after a
-``destroy_addr %a``.
+If ``T`` is a trivial type, then ``destroy_addr`` can be safely
+eliminated. However, a memory location ``%a`` must not be accessed
+after ``destroy_addr %a`` (which has not yet been eliminated)
+regardless of its type.
 
 index_addr
 ``````````