const scope_getterinfo: JSJitInfo;