This truly fixes issue #2531 (closed) (meaning the compiler behaves identically across platforms for that example).