You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
JavaVM wraps a virtual dispatch table that's assumed to have 'static lifetime, and exposes from_raw and get_java_vm_pointer, with no Drop glue. It should implement Clone, since there is no cost to doing so.
Note that JavaVM could even implement Copy, but it could reasonably be argued that that might prevent a future improvements to JavaVM.
The text was updated successfully, but these errors were encountered:
JavaVM wraps a virtual dispatch table that's assumed to have
'static
lifetime, and exposesfrom_raw
andget_java_vm_pointer
, with no Drop glue. It should implement Clone, since there is no cost to doing so.Note that JavaVM could even implement Copy, but it could reasonably be argued that that might prevent a future improvements to JavaVM.
The text was updated successfully, but these errors were encountered: