const doubleAttributeNullable_getterinfo: JSJitInfo;