Use '.none()' in 'Optional''s tests

hylo-lang · Dec 27, 2023 · 126775a · 126775a
1 parent 5d20e69
commit 126775a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Tests/LibraryTests/TestCases/OptionalTests.hylo b/Tests/LibraryTests/TestCases/OptionalTests.hylo
@@ -5,7 +5,7 @@ public fun main() {
   let y = if let i: Int = x { i.copy() } else { 0 }
   precondition(y == 42)
 
-  &x = None()
+  &x = .none()
   let z = if let i: Int = x { i.copy() } else { 0 }
   precondition(z == 0)
 }