Can we match identity using `switch`?

That would also be unreliable for any class types that are Equatable or otherwise have access to more specific ~= overloads.