pkg syscall (darwin-arm64), type Kevent_t struct, Flags uint16
pkg syscall (darwin-arm64), type Kevent_t struct, Ident uint64
pkg syscall (darwin-arm64), type Kevent_t struct, Udata *uint8
pkg syscall (darwin-arm64), type Log2phys_t struct
pkg syscall (darwin-arm64), type Log2phys_t struct, Contigbytes int64
pkg syscall (darwin-arm64), type Log2phys_t struct, Devoffset int64

and RHS match (become identical or assignment-compatible, depending on
context).
To that effect, type inference maintains a map of bound type parameters
to inferred type arguments; this map is consulted and updated during type unification.
Initially, the bound type parameters are known but the map is empty.
During type unification, if a new type argument <code>A</code> is inferred,