TailTypesLast

A field typed Rest or JsonBody MUST be the final field of its Struct or Variant, and at most one such field may appear.

Tail types consume all remaining bytes; anything after them is unreachable. Making this a validation error keeps a malformed layout from ever generating.