Addressing fields of enum variables fails when different fields refer to the same object.
class City {}
class Location {
City city;
Location(City city) : city(city) {}
}
City city0 = new City();
Location l0 = new Location(city0);
Location l1 = new Location(city0);
City city1 = new City();
Location l2 = new Location(city1);
Location l3 = new Location(city1);
Location l;
l.city == city0;
In the above case, the l variable should have l0 and l1 in its domain.
Addressing fields of enum variables fails when different fields refer to the same object.
In the above case, the
l
variable should havel0
andl1
in its domain.