add a ZST exception

RalfJung · RalfJung · commit 8dde3eba9aad · 2024-11-07T22:25:35.000+01:00
diff --git a/src/items/static-items.md b/src/items/static-items.md
@@ -21,9 +21,10 @@ Static items have the `static` lifetime, which outlives all other lifetimes in a
 Static items do not call [`drop`] at the end of the program.
 
 r[items.static.storage-disjointness]
-This allocated object is disjoint from all other `static` objects as well as heap-allocated and
-stack-allocated variables. However, the storage of immutable `static` items can overlap with objects
-that do not themselves have a unique address, such as [promoteds] and [`const` items][constant].
+If the `static` has a size of at least 1 byte, this allocated object is disjoint from all other
+`static` objects as well as heap-allocated and stack-allocated variables. However, the storage of
+immutable `static` items can overlap with objects that do not themselves have a unique address, such
+as [promoteds] and [`const` items][constant].
 
 r[items.static.namespace]
 The static declaration defines a static value in the [value namespace] of the module or block where it is located.
