const srclang_getterinfo: JSJitInfo;