const delete_methodinfo: JSJitInfo;