Dynamic-mask admission has one invariant meaning: inactive addresses are not
evaluated, inactive operations are suppressed, inactive load-like result
lanes are zero-filled, and an all-zero mask completes without a service
request. There is no independent `all_zero_mask_completes` field: a dynamic
mask class that cannot provide this invariant must not be declared.