ValueOf::as_unchecked

Summary: Safe conversion.

Reviewed By: JakobDegen

Differential Revision: D59615564

fbshipit-source-id: 6e1b480d2f87eb7838fdec92fdcf6fbf38b3325d

Author: stepancheg

starlark/src/values/value_of.rs

@@ -25,6 +25,7 @@ use crate::values::AllocValue;
 use crate::values::Heap;
 use crate::values::UnpackValue;
 use crate::values::Value;
+use crate::values::ValueOfUnchecked;
 
 /// A wrapper that keeps the original value on the heap for use elsewhere,
 /// and also, when unpacked, unpacks the value to validate it is of
@@ -39,6 +40,13 @@ pub struct ValueOf<'v, T: UnpackValue<'v>> {
     pub typed: T,
 }
 
+impl<'v, T: UnpackValue<'v>> ValueOf<'v, T> {
+    /// Convert to `ValueOfUnchecked`.
+    pub fn as_unchecked(&self) -> ValueOfUnchecked<'v, T> {
+        ValueOfUnchecked::new(self.value)
+    }
+}
+
 impl<'v, T: UnpackValue<'v>> Deref for ValueOf<'v, T> {
     type Target = Value<'v>;