Constant rustc_session::options::desc::parse_dump_solver_proof_tree
source · pub const parse_dump_solver_proof_tree: &str = "one of: `always`, `on-request`, `on-error`";pub const parse_dump_solver_proof_tree: &str = "one of: `always`, `on-request`, `on-error`";