const effectiveDirective_getterinfo: JSJitInfo;