Merge pull request #31296 from harlanhaskins/fantastic-types-and-how-to-add-them

[docs] Note that adding associatedtypes with defaults is allowed in library evolution

Author: CodaFi

docs/LibraryEvolution.rst

@@ -577,6 +577,8 @@ There are very few safe changes to make to protocols and their members:
   themselves).
 - The ``@discardableResult`` and ``@warn_unqualified_access`` attributes may
   be added to or removed from a function requirement.
+- A new `associatedtype` requirement may be added (with the appropriate
+  availability), as long as it has a default implementation.
 - A new non-type requirement may be added (with the appropriate availability),
   as long as it has an unconstrained default implementation. If the requirement
   uses ``Self`` and the protocol has no other requirements using ``Self`` and