Fix SemiRegular.

Fixes #1620. Another pass to loosen some constraints now that SemiRegular refines Copyable is warranted.
hylo-lang · Nov 24, 2024 · 7a41962 · 7a41962
1 parent 02a00f3
commit 7a41962
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/StandardLibrary/Sources/Array.hylo b/StandardLibrary/Sources/Array.hylo
@@ -207,7 +207,7 @@ public type Array<Element: SemiRegular>: SemiRegular {
 
 }
 
-public conformance Array: Equatable {
+public conformance Array: Equatable where Element: Equatable {
 
   /// Returns `true` iff `other` has an equivalent value.
   public fun infix== (_ other: Self) -> Bool {

diff --git a/StandardLibrary/Sources/Core/Regular.hylo b/StandardLibrary/Sources/Core/Regular.hylo
@@ -3,9 +3,9 @@
 ///
 /// - Move is value-preserving.
 /// - Destruction has no side-effects.
-public trait SemiRegular: Deinitializable, Movable, Equatable {}
+public trait SemiRegular: Copyable, Deinitializable {}
 
 /// Regular types (roughly per Stepanov).
 ///
 /// Copies have equal value.
-public trait Regular: SemiRegular, Copyable {}
+public trait Regular: SemiRegular, Equatable {}