Christian Kamm wrote: > If A, B, C are classes, you could also check with > > u.a.classinfo is A.classinfo > u.a.classinfo is B.classinfo > u.a.classinfo is C.classinfo. Only if the union never stores references to subclasses.