tree 100b8e2eec6094cb8726ff2a3c480a598a0d9c3c
parent 84f6ddd57c6996f3c8872529002777afef449fe7
author Joshua Liebow-Feeser <joshlf@google.com> 1566374742 +0000
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1566374742 +0000

[net-types] Introduce `Witness` trait

- Introduce the `Witness` trait; `Witness<A>` is implemented by
  any witness type (`SpecifiedAddr<A>`, `UnicastAddr<A>`, etc) which
  is a witness to some property about the address `A`
- Introduce the `IpAddrWitness: Witness<IpAddr>` trait, which
  provides useful associated types
- Modify `AddrSubnet` and `AddrSubnetEither` to be generic over
  which witness type is used as opposed to only supporting
  `SpecifiedAddr`

Test: Very little behavior change, although added one test case to
      make sure that `AddrSubnet::new` properly rejects addresses
      based on the witness type which is used
Change-Id: I12ea1f7b5f0892e7fa625864a454e4585b92701f