`with_override` and `with_override_pos` are leaked.