Update definitions.py as well

alexcrichton · alexcrichton · commit 72f6f5b44f5e · 2023-07-11T08:15:11.000-07:00
diff --git a/design/mvp/canonical-abi/definitions.py b/design/mvp/canonical-abi/definitions.py
@@ -544,6 +544,7 @@ def unpack_flags_from_int(i, labels):
 
 def lift_own(cx, i, t):
   h = cx.inst.handles.remove(t.rt, i)
+  trap_if(not h.own)
   return h.rep
 
 def lift_borrow(cx, i, t):
