Dialyser points out that this branch can never happen; maybe_forget_sender/3 is always invoked with down_from_* as ChState.