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

const ID_SEPARATOR: &str = ",";