Shouldn't this be implied by the equality of the StructDeclaration?