[roll] Roll fuchsia [packet_formats] Simplify `IcmpMessage` trait with GATs.

A technique was used to specify the trait requirement of `forall (B:
ByteSlice) (M: IcmpMessage), M::Body: MessageBody<B>` by making B
universally quantified everywhere. This was a nice trick but it made
some concrete types, notably `IcmpPacketBuilder` much harder to use,
because we have to introduce those phantom type bounds everywhere.
This becomes a blocker for instantiating `DatagramSocket::Serializer`
with `IcmpPacketBuilder` for ICMP sockets as such B is nowhere to be
found in order to use `IcmpPacketBuilder`. Instead of leaking that B
bound into the socket world, we leverage the power of GATs to express
such type level mapping.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/903491
Original-Revision: 2a7585307f34fce13bbf2df4f863aceb4219db61
GitOrigin-RevId: 7a5d4895ac7d0d7f3b5843c1751f86b1ed16fe32
Change-Id: I3adfa6ddd581ef0f6a974aa8176dafd288e3a938
1 file changed
tree: a7d17cb7de47f62e51d2c6c29a063ac1039f44aa
  1. git-hooks/
  2. infra/
  3. third_party/
  4. cts
  5. firmware
  6. flower
  7. jiri.lock
  8. MILESTONE
  9. minimal
  10. prebuilts
  11. README.md
  12. stem
  13. test_durations
  14. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.