SI-8965 Account for corner case in "unrelated types" warning

It's okay for the two types to LUB to something above `Object`
if they both individially were its supertype.
Good catch, I've pushed a flags file.