Hacking the Go compiler to efficiently map IPv4 to IPv6

What happened
Go maintainers declined netip.Addr.Map() saying the compiler should optimize netip.AddrFrom16(ip.As16()) instead. How difficult is it to implement?
Summary assembled by rule from the sources below