const doubleAttributeNullable_setterinfo: JSJitInfo;