Returns true if the union has no active member, that is, the unions value consists solely
of its discriminator because the discriminator has a value that is not listed as an explicit case label.
The has_no_active_member operation returns true if the union has no active
member (that is, the union's value consists solely of its discriminator because the
discriminator has a value that is not listed as an explicit case label).