const violatedDirective_getterinfo: JSJitInfo;