Test equality of optionals

hylo-lang · Aug 22, 2024 · fb2f60c · fb2f60c
1 parent 5c61e65
commit fb2f60c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Tests/LibraryTests/TestCases/OptionalTests.hylo b/Tests/LibraryTests/TestCases/OptionalTests.hylo
@@ -4,6 +4,8 @@ public fun main() {
   precondition(None<Int>() == None<Int>())
 
   var x = 42 as Optional<Int>
+  precondition(x == x)
+
   let y = if let i: Int = x { i.copy() } else { 0 }
   precondition(y == 42)