Declare conditional conformance of 'Optional' to 'Equatable'

hylo-lang · Aug 22, 2024 · 5c61e65 · 5c61e65
1 parent 917ea30
commit 5c61e65
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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 {}