const doubleAttribute_getterinfo: JSJitInfo;