Class types with a non-static data member of array type do not have strong structural equality. Proposed change: Require only that the (ultimate) element type of such an array type have strong structural equality.