Merge pull request #36783 from filip-sakel/filip-sakel-SE0293-gardening

[SE-0293] Update Library-Evolution Documentation

Author: hborla

docs/LibraryEvolution.rst

@@ -145,14 +145,22 @@ The following changes are permitted:
   body, not the labels that are part of the function's full name).
 - Reordering generic requirements (but not the generic parameters themselves).
 - Adding a default argument expression to a parameter.
-- Changing or removing a default argument is a `binary-compatible
-  source-breaking change`.
+- Adding, changing, reordering, or removing property wrappers that either are 
+  implementation-detail or in a composition where the outermost wrapper is
+  implementation-detail.
+- Changing or removing a default argument is a `binary-compatible source-breaking change`.
 - Adding or removing the ``@discardableResult`` and ``@warn_unqualified_access``
   attributes.
 
 No other changes are permitted; the following are particularly of note:
 
 - An ABI-public function may not change its parameters or return type.
+- An ABI-public function may not, in any way, change API-level property 
+  wrappers or compositions where the outermost wrapper is 
+  API-level.
+- An ABI-public function may not change an API-level property-wrapper attribute
+  to an implementation-detail one and vice versa, if it is the only wrapper
+  applied to a given parameter or the outermost wrapper in a composition.
 - An ABI-public function may not change its generic requirements.
 - An ABI-public function may not change its external parameter names (labels).
 - An ABI-public function may not add, remove, or reorder parameters, whether or
@@ -413,6 +421,9 @@ stored subscripts. This means that the following changes are permitted:
   accessor bodies, not the labels that are part of the subscript's full name).
 - Reordering generic requirements (but not the generic parameters themselves).
 - Adding a default argument expression to an index parameter.
+- Adding, changing, reordering, or removing property wrappers that either are 
+  implementation-detail or in a composition where the outermost wrapper is
+  implementation-detail.
 - Changing or removing a default argument is a `binary-compatible
   source-breaking change`.
 
@@ -778,6 +789,9 @@ counterparts with a few small changes:
 - Changing index parameter internal names is permitted.
 - Reordering generic requirements (but not the generic parameters themselves)
   is permitted.
+- Adding, changing, reordering, or removing property wrappers that either are 
+  implementation-detail or in a composition where the outermost wrapper is
+  implementation-detail.
 - Adding a default argument expression to an index parameter is permitted.
 - Changing or removing a default argument is a `binary-compatible
   source-breaking change`.