const doubleAttribute_setterinfo: JSJitInfo;