What I mean is that one is convertible to the other (and either direction is fine). If it's not possible for them to refer to the same instance, then `lhs is rhs` won't compile.