Make 'ForeignConvertible' a refinement of 'Equatable'

hylo-lang · Oct 10, 2023 · a7b0526 · a7b0526
1 parent 0649023
commit a7b0526
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Library/Hylo/Core/ForeignConvertible.hylo b/Library/Hylo/Core/ForeignConvertible.hylo
@@ -54,10 +54,10 @@
 ///
 /// You should avoid using `ForeignConvertible` to implement long chains of conversions through
 /// intermediate foreign representations.
-public trait ForeignConvertible {
+public trait ForeignConvertible: Equatable {
 
   /// The foreign representation of the type.
-  type ForeignRepresentation: ForeignConvertible
+  type ForeignRepresentation
 
   /// Creates a new instance from its foreign representation.
   init(foreign_value: sink ForeignRepresentation)