The problem is even if inlined, the compiler at most allocates storage on the stack. Because it is assigning to a global variable, escape is inevitable. The compiler doesn't understand that things in init functions (and not in loops) happen at most once, so allocations in those places can be done statically.

You could force it static. Do:

var IPv4bcastStore [IPv6len]byte
var IPv4bcast = IP(IPv4bcastStore[:])
func init() {
    copy(IPv4bcast, IPv4(255, 255, 255, 255))
}

Then if IPv4 is inlined, its allocation will be on the stack.

More verbose, but maybe a bit less breaking open of abstractions.

The compiler doesn't understand that things in init functions (and not in loops) happen at most once, so allocations in those places can be done statically.

Is there a plan to ever change that? I imagine such calls to relatively simple funcs are happening in globals in many packages, and I understand that a few init time allocs here and there are not the biggest deal, but they also add up.

Your alternative is interesting, though it seems even more verbose than mine with the literal, so I'm not sure if @ianlancetaylor would approve it :) It does feel like it's too clever for my taste, and I wouldn't want others copying the workaround to avoid a global init alloc.

Is there a plan to ever change that?

There is no plan. But I imagine that it wouldn't be that hard.
The only worry I would have is that global allocations are forever, so if the allocation dies early it can't be reclaimed (like it would be if allocated on the stack or heap).

Happy to leave this as a backlog item for now, then :)