Publisher-side envelope: scopes is enforced here, at compile time.
Spelled out rather than derived with Omit<Envelope, …> — Envelope is an
intersection with a union arm, and Omit over that collapses the union into
one flattened shape, silently losing the "exactly one reference pair"
property.
Publisher-side envelope:
scopesis enforced here, at compile time.Spelled out rather than derived with
Omit<Envelope, …>—Envelopeis an intersection with a union arm, andOmitover that collapses the union into one flattened shape, silently losing the "exactly one reference pair" property.