pkg syscall (darwin-arm64), type RawSockaddrInet4 struct, Family uint8
pkg syscall (darwin-arm64), type RawSockaddrInet4 struct, Len uint8
pkg syscall (darwin-arm64), type RawSockaddrInet4 struct, Zero [8]int8
pkg syscall (darwin-arm64), type RawSockaddrInet6 struct, Family uint8
pkg syscall (darwin-arm64), type RawSockaddrInet6 struct, Len uint8
pkg syscall (darwin-arm64), type RawSockaddrUnix struct, Family uint8

pkg syscall (netbsd-arm64-cgo), type RawSockaddrInet4 struct, Family uint8
pkg syscall (netbsd-arm64-cgo), type RawSockaddrInet4 struct, Len uint8
pkg syscall (netbsd-arm64-cgo), type RawSockaddrInet4 struct, Zero [8]int8
pkg syscall (netbsd-arm64-cgo), type RawSockaddrInet6 struct, Family uint8
pkg syscall (netbsd-arm64-cgo), type RawSockaddrInet6 struct, Len uint8

</p>

<ol>
<li>
	<p>
	The type equations are solved for the bound
	type parameters using <a href="#Type_unification">type unification</a>.
	If unification fails, type inference fails.
	</p>
</li>
<li>
	<p>
	For each bound type parameter <code>P<sub>k</sub></code> for which no type argument
	has been inferred yet and for which one or more pairs

    <magic priority="40">
      <match value="function [a-zA-Z][A-Za-z0-9_]{0,62}[\\r\\n]" type="regex" offset="0"/>
    </magic>
    <!-- Two matlab-style comments fairly early in the file -->
    <magic priority="25">
      <match value="%" type="string" offset="0">
         <match value="\n%" type="string" offset="2:120"/>
      </match>