`__traits(compiles, lhs is rhs)` will be always `true`, because the common type can be inferred to `Object`.