feat(corelib): range contains (#7008)

corelib/src/ops/range.cairo

@@ -40,7 +40,23 @@ pub struct Range<T> {
 }
 
 #[generate_trait]
-pub impl RangeImpl<T, +Copy<T>, +Drop<T>, +PartialOrd<T>> of RangeTrait<T> {
+pub impl RangeImpl<T, +Destruct<T>, +PartialOrd<@T>> of RangeTrait<T> {
+    /// Returns `true` if `item` is contained in the range.
+    ///
+    /// # Examples
+    ///
+    /// ```
+    /// assert!(!(3..5).contains(@2));
+    /// assert!( (3..5).contains(@3));
+    /// assert!( (3..5).contains(@4));
+    /// assert!(!(3..5).contains(@5));
+    ///
+    /// assert!(!(3..3).contains(@3));
+    /// assert!(!(3..2).contains(@3));
+    fn contains(self: @Range<T>, item: @T) -> bool {
+        self.start <= item && item < self.end
+    }
+
     /// Returns `true` if the range contains no items.
     ///
     /// # Examples

corelib/src/test/range_test.cairo

@@ -7,6 +7,17 @@ fn test_range_is_empty() {
     assert!((3_u8..2_u8).is_empty());
 }
 
+#[test]
+fn test_range_contains() {
+    assert!(!(3_u8..5).contains(@2));
+    assert!((3_u8..5).contains(@3));
+    assert!((3_u8..5).contains(@4));
+    assert!(!(3_u8..5).contains(@5));
+
+    assert!(!(3_u8..3).contains(@3));
+    assert!(!(3_u8..2).contains(@3));
+}
+
 #[test]
 fn test_range_format() {
     assert!(format!("{:?}", 1..5) == "1..5");