[stdlib] Update syntax for conditional conformances to invertable protocols

Author: lorentey

stdlib/public/core/Optional.swift

@@ -132,13 +132,9 @@ public enum Optional<Wrapped: ~Copyable & ~Escapable>: ~Copyable, ~Escapable {
   case some(Wrapped)
 }
 
-// FIXME: The ~Escapable clause must be explicit for this to be readable.
-// FIXME: Alas, that's currently an error. (rdar://130781168)
-extension Optional: Copyable where Wrapped: Copyable /*& ~Escapable */ {}
+extension Optional: Copyable where Wrapped: Copyable & ~Escapable {}
 
-// FIXME: The ~Copyable clause must be explicit for this to be readable.
-// FIXME: Alas, that's currently an error. (rdar://130781168)
-extension Optional: Escapable where Wrapped: Escapable /*& ~Copyable */ {}
+extension Optional: Escapable where Wrapped: Escapable & ~Copyable {}
 
 extension Optional: BitwiseCopyable
 where Wrapped: BitwiseCopyable & ~Escapable {}

stdlib/public/core/Result.swift

@@ -21,13 +21,9 @@ public enum Result<Success: ~Copyable & ~Escapable, Failure: Error> {
   case failure(Failure)
 }
 
-// FIXME: The ~Escapable clause must be explicit for this to be readable.
-// FIXME: Alas, that's currently an error. (rdar://130781168)
-extension Result: Copyable where Success: Copyable /*& ~Escapable*/ {}
+extension Result: Copyable where Success: Copyable & ~Escapable {}
 
-// FIXME: The ~Copyable clause must be explicit for this to be readable.
-// FIXME: Alas, that's currently an error. (rdar://130781168)
-extension Result: Escapable where Success: Escapable /*& ~Copyable*/ {}
+extension Result: Escapable where Success: Escapable & ~Copyable {}
 
 extension Result: Sendable where Success: Sendable & ~Copyable & ~Escapable {}