Constant rustc_mir::transform::coverage::graph::ID_SEPARATOR

pub(in transform::coverage::graph) const ID_SEPARATOR: &str = ",";