Maybe add an `assert(prev == child || prev == &head_)`. It's not necessary from a correctness perspective but it gives a hint to the reader.