The section 23.4 Invariants says:
such members should not be called from constructors
I assume should instead read:
such members should not be called from invariants
Comment #1 by maxhaton — 2021-05-16T03:26:47Z
This wording seems no longer be present in the specification.