I am truly sorry about this everyone. The new warnings sprung from a misinterpretation of the original purpose of this ancient diagnostic, which I believe was provision for source-compatible improvements to the algorithm that joins the types (computes the upper bound). We are reverting this for good and I will try to get the fix into 5.8 too.
5 Likes