Hi,
In ISOWeek() Mon is the first day of the week.
https://github.com/golang/go/blob/master/src/time/time.go#L565
if dec31wday := (wday + 31 - day) % 7; Mon <= dec31wday && dec31wday <= Wed {
The condition Mon <= dec31wday is always true and the line can be changed to:
if dec31wday := (wday + 31 - day) % 7; dec31wday <= Wed {