I’d say that the kvetching was pretty constructive, in view of Subtype: Fix some diagonal rule related false alarm by N5N3 · Pull Request #53034 · JuliaLang/julia · GitHub (via the split-off Intransitivities in subtyping , but the initial example is not due to me, it is due to @rafael.guerra upthread here, in the very post that necroed this thead after a 2 year gap)
Big props to @nsajko for picking that kvetching up into a real bug report and to @N5N3 for the (probably partial?) fix! 