From 5c61e65f74768d1508643c0d411e5c2135a5817d Mon Sep 17 00:00:00 2001
From: Dimi Racordon <dimitri.racordon@gmail.com>
Date: Thu, 22 Aug 2024 23:22:47 +0200
Subject: [PATCH] Declare conditional conformance of 'Optional' to 'Equatable'

---
 StandardLibrary/Sources/Core/Optional.hylo | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/StandardLibrary/Sources/Core/Optional.hylo b/StandardLibrary/Sources/Core/Optional.hylo
index 1d9e04b0a..3df537677 100644
--- a/StandardLibrary/Sources/Core/Optional.hylo
+++ b/StandardLibrary/Sources/Core/Optional.hylo
@@ -19,3 +19,10 @@ public extension Optional {
   }
 
 }
+
+// Note: We can't declare confitional conformance of `Optional` to "umbrella traits" yet without
+// causing ambiguities. See #1566
+
+public conformance Optional: Deinitializable where T: Deinitializable {}
+
+public conformance Optional: Equatable where T: Equatable {}