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