pub const parse_trait_solver: &str = "one of the supported solver modes (`classic`, `next`, or `next-coherence`)";