use Metrics;
/// An empty Metrics-Collector that does not keep track
/// of any metrics it receives and simply discards them.
///
/// This is mainly intended for when metrics are not desired
/// and as it does nothing, all the metrics calls should resolve
/// to a NOP and be removed entirely
;