util/deephash: specialize for netip.Addr and drop AppendTo support (#5402)

There are 5 types that we care about that implement AppendTo:

	key.DiscoPublic
	key.NodePublic
	netip.Prefix
	netipx.IPRange
	netip.Addr

The key types are thin wrappers around [32]byte and are memory hashable.
The netip.Prefix and netipx.IPRange types are thin wrappers over netip.Addr
and are hashable by default if netip.Addr is hashable.
The netip.Addr type is the only one with a complex structure where
the default behavior of deephash does not hash it correctly due to the presence
of the intern.Value type.

Drop support for AppendTo and instead add specialized hashing for netip.Addr
that would be semantically equivalent to == on the netip.Addr values.

The AppendTo support was already broken prior to this change.
It was fully removed (intentionally or not) in #4870.
It was partially restored in #4858 for the fast path,
but still broken in the slow path.
Just drop support for it altogether.

This does mean we lack any ability for types to self-hash themselves.
In the future we can add support for types that implement:

	interface { DeepHash() Sum }

Test and fuzz cases were added for the relevant types that
used to rely on the AppendTo method.
FuzzAddr has been executed on 1 billion samples without issues.

Signed-off-by: Joe Tsai joetsai@digital-static.net

util/deephash/deephash.go

@@ -14,9 +14,7 @@
 //   - time.Time are compared based on whether they are the same instant in time
 //     and also in the same zone offset. Monotonic measurements and zone names
 //     are ignored as part of the hash.
-//   - Types which implement interface { AppendTo([]byte) []byte } use
-//     the AppendTo method to produce a textual representation of the value.
-//     Thus, two values are equal if AppendTo produces the same bytes.
+//   - netip.Addr are compared based on a shallow comparison of the struct. 
 //
 // WARNING: This package, like most of the tailscale.com Go module,
 // should be considered Tailscale-internal; we make no API promises.
@@ -29,6 +27,7 @@ import (
 	"fmt"
 	"log"
 	"math"
+	"net/netip"
 	"reflect"
 	"sync"
 	"time"
@@ -210,10 +209,7 @@ type appenderTo interface {
 	AppendTo([]byte) []byte
 }
 
-var (
-	uint8Type    = reflect.TypeOf(byte(0))
-	timeTimeType = reflect.TypeOf(time.Time{})
-)
+var uint8Type = reflect.TypeOf(byte(0))
 
 // typeInfo describes properties of a type.
 //
@@ -302,36 +298,6 @@ func (h *hasher) hashInt64v(v addressableValue) bool {
 	return true
 }
 
-func hashStructAppenderTo(h *hasher, v addressableValue) bool {
-	if !v.CanInterface() {
-		return false // slow path
-	}
-	a := v.Addr().Interface().(appenderTo)
-	size := h.scratch[:8]
-	record := a.AppendTo(size)
-	binary.LittleEndian.PutUint64(record, uint64(len(record)-len(size)))
-	h.HashBytes(record)
-	return true
-}
-
-// hashPointerAppenderTo hashes v, a reflect.Ptr, that implements appenderTo.
-func hashPointerAppenderTo(h *hasher, v addressableValue) bool {
-	if !v.CanInterface() {
-		return false // slow path
-	}
-	if v.IsNil() {
-		h.HashUint8(0) // indicates nil
-		return true
-	}
-	h.HashUint8(1) // indicates visiting a pointer
-	a := v.Interface().(appenderTo)
-	size := h.scratch[:8]
-	record := a.AppendTo(size)
-	binary.LittleEndian.PutUint64(record, uint64(len(record)-len(size)))
-	h.HashBytes(record)
-	return true
-}
-
 // fieldInfo describes a struct field.
 type fieldInfo struct {
 	index      int // index of field for reflect.Value.Field(n); -1 if invalid
@@ -462,21 +428,19 @@ func genTypeHasher(t reflect.Type) typeHasherFunc {
 		eti := getTypeInfo(et)
 		return genHashArray(t, eti)
 	case reflect.Struct:
-		if t == timeTimeType {
+		switch t {
+		case timeTimeType:
 			return (*hasher).hashTimev
+		case netipAddrType:
+			return (*hasher).hashAddrv
+		default:
+			return genHashStructFields(t)
 		}
-		if t.Implements(appenderToType) {
-			return hashStructAppenderTo
-		}
-		return genHashStructFields(t)
 	case reflect.Pointer:
 		et := t.Elem()
 		if typeIsMemHashable(et) {
 			return genHashPtrToMemoryRange(et)
 		}
-		if t.Implements(appenderToType) {
-			return hashPointerAppenderTo
-		}
 		if !typeIsRecursive(t) {
 			eti := getTypeInfo(et)
 			return func(h *hasher, v addressableValue) bool {
@@ -544,6 +508,30 @@ func (h *hasher) hashTimev(v addressableValue) bool {
 	return true
 }
 
+// hashAddrv hashes v, of type netip.Addr.
+func (h *hasher) hashAddrv(v addressableValue) bool {
+	// The formatting of netip.Addr covers the
+	// IP version, the address, and the optional zone name (for v6).
+	// This is equivalent to a1.MarshalBinary() == a2.MarshalBinary().
+	ip := *(*netip.Addr)(v.Addr().UnsafePointer())
+	switch {
+	case !ip.IsValid():
+		h.HashUint64(0)
+	case ip.Is4():
+		b := ip.As4()
+		h.HashUint64(4)
+		h.HashUint32(binary.LittleEndian.Uint32(b[:]))
+	case ip.Is6():
+		b := ip.As16()
+		z := ip.Zone()
+		h.HashUint64(16 + uint64(len(z)))
+		h.HashUint64(binary.LittleEndian.Uint64(b[:8]))
+		h.HashUint64(binary.LittleEndian.Uint64(b[8:]))
+		h.HashString(z)
+	}
+	return true
+}
+
 // hashSliceMem hashes v, of kind Slice, with a memhash-able element type.
 func (h *hasher) hashSliceMem(v addressableValue) bool {
 	vLen := v.Len()

util/deephash/deephash_test.go

@@ -20,6 +20,7 @@ import (
 	"time"
 
 	"go4.org/mem"
+	"go4.org/netipx"
 	"tailscale.com/tailcfg"
 	"tailscale.com/types/dnstype"
 	"tailscale.com/types/ipproto"
@@ -116,6 +117,44 @@ func TestHash(t *testing.T) {
 			}(),
 			wantEq: false,
 		},
+		{in: tuple{netip.Addr{}, netip.Addr{}}, wantEq: true},
+		{in: tuple{netip.Addr{}, netip.AddrFrom4([4]byte{})}, wantEq: false},
+		{in: tuple{netip.AddrFrom4([4]byte{}), netip.AddrFrom4([4]byte{})}, wantEq: true},
+		{in: tuple{netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 1})}, wantEq: true},
+		{in: tuple{netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 2})}, wantEq: false},
+		{in: tuple{netip.AddrFrom4([4]byte{}), netip.AddrFrom16([16]byte{})}, wantEq: false},
+		{in: tuple{netip.AddrFrom16([16]byte{}), netip.AddrFrom16([16]byte{})}, wantEq: true},
+		{in: tuple{netip.AddrPort{}, netip.AddrPort{}}, wantEq: true},
+		{in: tuple{netip.AddrPort{}, netip.AddrPortFrom(netip.AddrFrom4([4]byte{}), 0)}, wantEq: false},
+		{in: tuple{netip.AddrPortFrom(netip.AddrFrom4([4]byte{}), 0), netip.AddrPortFrom(netip.AddrFrom4([4]byte{}), 0)}, wantEq: true},
+		{in: tuple{netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1234), netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1234)}, wantEq: true},
+		{in: tuple{netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1234), netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1235)}, wantEq: false},
+		{in: tuple{netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1234), netip.AddrPortFrom(netip.AddrFrom4([4]byte{192, 168, 0, 2}), 1234)}, wantEq: false},
+		{in: tuple{netip.Prefix{}, netip.Prefix{}}, wantEq: true},
+		{in: tuple{netip.Prefix{}, netip.PrefixFrom(netip.Addr{}, 1)}, wantEq: false},
+		{in: tuple{netip.Prefix{}, netip.PrefixFrom(netip.AddrFrom4([4]byte{}), 0)}, wantEq: false},
+		{in: tuple{netip.PrefixFrom(netip.AddrFrom4([4]byte{}), 1), netip.PrefixFrom(netip.AddrFrom4([4]byte{}), 1)}, wantEq: true},
+		{in: tuple{netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1), netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1)}, wantEq: true},
+		{in: tuple{netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1), netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 0)}, wantEq: false},
+		{in: tuple{netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), 1), netip.PrefixFrom(netip.AddrFrom4([4]byte{192, 168, 0, 2}), 1)}, wantEq: false},
+		{in: tuple{netipx.IPRange{}, netipx.IPRange{}}, wantEq: true},
+		{in: tuple{netipx.IPRange{}, netipx.IPRangeFrom(netip.AddrFrom4([4]byte{}), netip.AddrFrom16([16]byte{}))}, wantEq: false},
+		{in: tuple{netipx.IPRangeFrom(netip.AddrFrom4([4]byte{}), netip.AddrFrom16([16]byte{})), netipx.IPRangeFrom(netip.AddrFrom4([4]byte{}), netip.AddrFrom16([16]byte{}))}, wantEq: true},
+		{in: tuple{netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 100})), netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 100}))}, wantEq: true},
+		{in: tuple{netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 100})), netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 101}))}, wantEq: false},
+		{in: tuple{netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 1}), netip.AddrFrom4([4]byte{192, 168, 0, 100})), netipx.IPRangeFrom(netip.AddrFrom4([4]byte{192, 168, 0, 2}), netip.AddrFrom4([4]byte{192, 168, 0, 100}))}, wantEq: false},
+		{in: tuple{key.DiscoPublic{}, key.DiscoPublic{}}, wantEq: true},
+		{in: tuple{key.DiscoPublic{}, key.DiscoPublicFromRaw32(mem.B(func() []byte {
+			b := make([]byte, 32)
+			b[0] = 1
+			return b
+		}()))}, wantEq: false},
+		{in: tuple{key.NodePublic{}, key.NodePublic{}}, wantEq: true},
+		{in: tuple{key.NodePublic{}, key.NodePublicFromRaw32(mem.B(func() []byte {
+			b := make([]byte, 32)
+			b[0] = 1
+			return b
+		}()))}, wantEq: false},
 	}
 
 	for _, tt := range tests {
@@ -405,18 +444,18 @@ func TestGetTypeHasher(t *testing.T) {
 		{
 			name:  "packet_filter",
 			val:   filterRules,
-			out:   "\x04\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00*\v\x00\x00\x00\x00\x00\x00\x0010.1.3.4/32\v\x00\x00\x00\x00\x00\x00\x0010.0.0.0/24\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01 \x00\x00\x00\x00\x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00foo\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
-			out32: "\x04\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00*\v\x00\x00\x00\x00\x00\x00\x0010.1.3.4/32\v\x00\x00\x00\x00\x00\x00\x0010.0.0.0/24\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01 \x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00foo\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
+			out:   "\x04\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00*\v\x00\x00\x00\x00\x00\x00\x0010.1.3.4/32\v\x00\x00\x00\x00\x00\x00\x0010.0.0.0/24\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01 \x00\x00\x00\x00\x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x02\x03\x04 \x00\x01\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00foo\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
+			out32: "\x04\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00*\v\x00\x00\x00\x00\x00\x00\x0010.1.3.4/32\v\x00\x00\x00\x00\x00\x00\x0010.0.0.0/24\x03\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\n\x00\x00\x00\x00\x00\x00\x001.2.3.4/32\x01 \x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00\x03\x00\x00\x00\x04\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00\x01\x02\x03\x04 \x00\x01\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00\x00\x00\x00\x00foo\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\v\x00\x00\x00\x00\x00\x00\x00foooooooooo\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\f\x00\x00\x00\x00\x00\x00\x00baaaaaarrrrr\x00\x01\x00\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
 		},
 		{
 			name: "netip.Addr",
 			val:  netip.MustParseAddr("fe80::123%foo"),
-			out:  "\r\x00\x00\x00\x00\x00\x00\x00fe80::123%foo",
+			out:  u64(16+3) + u64(0x80fe) + u64(0x2301<<48) + "foo",
 		},
 		{
 			name: "ptr-netip.Addr",
 			val:  &someIP,
-			out:  "\x01\a\x00\x00\x00\x00\x00\x00\x001.2.3.4",
+			out:  u8(1) + u64(4) + u32(0x04030201),
 		},
 		{
 			name: "ptr-nil-netip.Addr",
@@ -834,3 +873,38 @@ func FuzzTime(f *testing.F) {
 		}
 	})
 }
+
+func FuzzAddr(f *testing.F) {
+	f.Fuzz(func(t *testing.T,
+		u1a, u1b uint64, zone1 string,
+		u2a, u2b uint64, zone2 string,
+	) {
+		var b1, b2 [16]byte
+		binary.LittleEndian.PutUint64(b1[:8], u1a)
+		binary.LittleEndian.PutUint64(b1[8:], u1b)
+		binary.LittleEndian.PutUint64(b2[:8], u2a)
+		binary.LittleEndian.PutUint64(b2[8:], u2b)
+
+		var ips [4]netip.Addr
+		ips[0] = netip.AddrFrom4(*(*[4]byte)(b1[:]))
+		ips[1] = netip.AddrFrom4(*(*[4]byte)(b2[:]))
+		ips[2] = netip.AddrFrom16(b1)
+		if zone1 != "" {
+			ips[2] = ips[2].WithZone(zone1)
+		}
+		ips[3] = netip.AddrFrom16(b2)
+		if zone2 != "" {
+			ips[3] = ips[2].WithZone(zone2)
+		}
+
+		for _, ip1 := range ips[:] {
+			for _, ip2 := range ips[:] {
+				got := Hash(&ip1) == Hash(&ip2)
+				want := ip1 == ip2
+				if got != want {
+					t.Errorf("netip.Addr(%s) == netip.Addr(%s) mismatches hash equivalent", ip1.String(), ip2.String())
+				}
+			}
+		}
+	})
+}

util/deephash/types.go

@@ -4,11 +4,34 @@
 
 package deephash
 
-import "reflect"
+import (
+	"net/netip"
+	"reflect"
+	"time"
+)
+
+var (
+	timeTimeType  = reflect.TypeOf((*time.Time)(nil)).Elem()
+	netipAddrType = reflect.TypeOf((*netip.Addr)(nil)).Elem()
+)
+
+// typeIsSpecialized reports whether this type has specialized hashing.
+// These are never memory hashable and never considered recursive.
+func typeIsSpecialized(t reflect.Type) bool {
+	switch t {
+	case timeTimeType, netipAddrType:
+		return true
+	default:
+		return false
+	}
+}
 
 // typeIsMemHashable reports whether t can be hashed by directly hashing its
 // contiguous bytes in memory (e.g. structs with gaps are not mem-hashable).
 func typeIsMemHashable(t reflect.Type) bool {
+	if typeIsSpecialized(t) {
+		return false
+	}
 	if t.Size() == 0 {
 		return true
 	}
@@ -50,6 +73,11 @@ func typeIsRecursive(t reflect.Type) bool {
 			delete(inStack, t)
 		}()
 
+		// Types with specialized hashing are never considered recursive.
+		if typeIsSpecialized(t) {
+			return false
+		}
+
 		// Any type that is memory hashable must not be recursive since
 		// cycles can only occur if pointers are involved.
 		if typeIsMemHashable(t) {
@@ -72,10 +100,6 @@ func typeIsRecursive(t reflect.Type) bool {
 		case reflect.Map:
 			return visitType(t.Key()) || visitType(t.Elem())
 		case reflect.Struct:
-			if t.String() == "intern.Value" {
-				// Otherwise its interface{} makes this return true.
-				return false
-			}
 			for i, numField := 0, t.NumField(); i < numField; i++ {
 				if visitType(t.Field(i).Type) {
 					return true