From 3144c009b63dae959a3af43afe97f896692dd82f Mon Sep 17 00:00:00 2001
From: Ori Ziv <oriz@starkware.co>
Date: Sun, 30 Jun 2024 12:22:39 +0300
Subject: [PATCH] Added `Default` for `Option`.

commit-id:2bddf7db
---
 corelib/src/option.cairo           | 6 ++++++
 corelib/src/test/option_test.cairo | 9 +++++++++
 2 files changed, 15 insertions(+)

diff --git a/corelib/src/option.cairo b/corelib/src/option.cairo
index 6db7b302bb1..431db7661c3 100644
--- 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
index 89a60a2bf96..0ebab0185f2 100644
--- 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());
+}