scala/scala — pull request #4102 by retronym (2014-11-07 01:28:17+00:00)
Title: 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.