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.
Merge pull request #4102 from retronym/ticket/8965

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