const hasPosition_getterinfo: JSJitInfo;