I think this assert doesn't do anything useful (we should just assume `dispatch_inbound` and `get_dispatched_inbound` do the right thing).