> which if I understand correctly triggers UB.

Yes, your parent's example would be UB, and require unsafe.