Move the indication of destination message type into Codec#599

Merged

akshayjshah merged 2 commits intomainfrom jh/codec-errors

Oct 4, 2023

+12-4

Commits on Oct 3, 2023

move the indication of destination message type into Codec, so a custom Codec could obscure it
jhump
committed
consistent error context; also fix type leak in envelopeReader (missed in first commit)
jhump
committed