It is strange, isn't it, Cerasus?
But Brendan and I obviously had exactly the same thought!
Yes, it will be interesting to hear what the "official" verdict is.
Sometimes I wonder whether things are just allowed to get by without comment, because the solver "knows" what the compiler "means", even if it isn't strictly accurate,
Or do you think I am bring too cynical here?