//! Who hears that a channel's subscriber left without an explicit unsubscribe.
use ;
use crateClusterObserver;
/// The supervisor's cluster observer, read when a departure happens (so an
/// observer installed after the channel started still hears it), and the
/// channel's name to report the departure under.