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.
Needs -Xfatal-warnings to fail, since IIRC pos tests don't have check files that are checked.  Though FSR there are check files under pos.