type S struct {
	a []byte
}

func f(s *S) {
	s.a = s.a[1:]
}

The write barrier in f seems unnecessary. We're always writing back to s.a a pointer to the same object that used to be there.
Noticed while looking at #71246.