Added Default for Option.

commit-id:2bddf7db
starkware-libs · Jun 30, 2024 · 57017ca · 57017ca
1 parent cb117f9
commit 57017ca
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/corelib/src/option.cairo b/corelib/src/option.cairo
@@ -5,6 +5,12 @@ pub enum Option<T> {
     None,
 }
 
+impl OptionDefault<T> of Default<Option<T>> {
+    fn default() -> Option<T> {
+        Option::None
+    }
+}
+
 pub impl DestructOption<T, +Destruct<T>, -Drop<Option<T>>> of Destruct<Option<T>> {
     #[inline(always)]
     fn destruct(self: Option<T>) nopanic {

diff --git a/corelib/src/test/option_test.cairo b/corelib/src/test/option_test.cairo
@@ -59,3 +59,12 @@ fn test_option_some_is_none() {
 fn test_option_none_is_none() {
     assert!(Option::<felt252>::None.is_none());
 }
+
+#[derive(Drop)]
+struct NonCopy {}
+
+#[test]
+fn test_default_for_option() {
+    assert!(Default::<Option<felt252>>::default().is_none());
+    assert!(Default::<Option<NonCopy>>::default().is_none());
+}