fn debug_with_context_rec<V: Debug + Eq + HasBottom>( place: PlaceIndex, place_str: &str, new: &StateData<V>, old: Option<&StateData<V>>, map: &Map<'_>, f: &mut Formatter<'_>, ) -> Result