diff --git a/include/hermes/VM/Handle-inline.h b/include/hermes/VM/Handle-inline.h
index 5a66ac6fcdf..a26dcf9be03 100644
--- a/include/hermes/VM/Handle-inline.h
+++ b/include/hermes/VM/Handle-inline.h
@@ -10,11 +10,28 @@
 
 #include "hermes/VM/Handle.h"
 
+#include "hermes/VM/Casting.h"
 #include "hermes/VM/HandleRootOwner.h"
 
 namespace hermes {
 namespace vm {
 
+template <typename T>
+template <typename U>
+inline PseudoHandle<T> PseudoHandle<T>::vmcast(PseudoHandle<U> &&other) {
+  auto result = PseudoHandle<T>::create(hermes::vm::vmcast<T>(other.get()));
+  other.invalidate();
+  return result;
+}
+
+template <typename T>
+template <typename U>
+inline PseudoHandle<T> PseudoHandle<T>::dyn_vmcast(PseudoHandle<U> &&other) {
+  auto result = PseudoHandle<T>::create(hermes::vm::dyn_vmcast<T>(other.get()));
+  other.invalidate();
+  return result;
+}
+
 /// Allocate a new handle in the current GCScope
 inline HandleBase::HandleBase(HandleRootOwner *runtime, HermesValue value)
     : handle_(runtime->newHandle(value)) {
diff --git a/include/hermes/VM/Handle.h b/include/hermes/VM/Handle.h
index 1072b2290d2..ac7db8c88e3 100644
--- a/include/hermes/VM/Handle.h
+++ b/include/hermes/VM/Handle.h
@@ -153,6 +153,12 @@ class PseudoHandle {
   static PseudoHandle<T> create(value_type value) {
     return PseudoHandle<T>(value);
   }
+
+  template <typename U>
+  static inline PseudoHandle vmcast(PseudoHandle<U> &&other);
+
+  template <typename U>
+  static inline PseudoHandle dyn_vmcast(PseudoHandle<U> &&other);
 };
 
 /// A HermesValue in the current GCScope which is trackable by the GC and will
diff --git a/include/hermes/VM/HermesValue-inline.h b/include/hermes/VM/HermesValue-inline.h
index a4477f36a70..c2990b4ad30 100644
--- a/include/hermes/VM/HermesValue-inline.h
+++ b/include/hermes/VM/HermesValue-inline.h
@@ -9,6 +9,7 @@
 #define HERMES_VM_HERMESVALUE_INLINE_H
 
 #include "hermes/Support/SlowAssert.h"
+#include "hermes/VM/Handle.h"
 #include "hermes/VM/HermesValue.h"
 
 #include "hermes/VM/GC.h"
@@ -21,6 +22,13 @@ void HermesValue::setInGC(HermesValue hv, GC *gc) {
   assert(gc->inGC());
 }
 
+template <typename T>
+inline PinnedHermesValue &PinnedHermesValue::operator=(PseudoHandle<T> &&hv) {
+  setNoBarrier(hv.getHermesValue());
+  hv.invalidate();
+  return *this;
+}
+
 template <typename NeedsBarriers>
 inline void GCHermesValue::set(HermesValue hv, GC *gc) {
   HERMES_SLOW_ASSERT(
diff --git a/include/hermes/VM/HermesValue.h b/include/hermes/VM/HermesValue.h
index 8246e561af8..8e74ec0a1e4 100644
--- a/include/hermes/VM/HermesValue.h
+++ b/include/hermes/VM/HermesValue.h
@@ -99,6 +99,8 @@ namespace hermes {
 namespace vm {
 
 class StringPrimitive;
+template <typename T>
+class PseudoHandle;
 
 template <typename T>
 class PseudoHandle;
@@ -508,6 +510,8 @@ class PinnedHermesValue : public HermesValue {
     setNoBarrier(hv);
     return *this;
   }
+  template <typename T>
+  inline PinnedHermesValue &operator=(PseudoHandle<T> &&hv);
 } HERMES_ATTRIBUTE_WARN_UNUSED_VARIABLES;
 
 // All HermesValues stored in heap object should be of this