Check constructor invariant on dynamic type