@@ -418,7 +418,8 @@ mod desc {
418
418
"a `,` separated combination of `bti`, `b-key`, `pac-ret`, or `leaf`" ;
419
419
pub const parse_proc_macro_execution_strategy: & str =
420
420
"one of supported execution strategies (`same-thread`, or `cross-thread`)" ;
421
- pub const parse_solver_proof_tree_condition: & str = "one of: `always`, `never`, `on_error`" ;
421
+ pub const parse_solver_proof_tree_condition: & str =
422
+ "one of: `always`, `on-request`, `on-error`" ;
422
423
}
423
424
424
425
mod parse {
@@ -1246,7 +1247,7 @@ mod parse {
1246
1247
) -> bool {
1247
1248
match v {
1248
1249
None | Some ( "always" ) => * slot = SolverProofTreeCondition :: Always ,
1249
- Some ( "never " ) => * slot = SolverProofTreeCondition :: Never ,
1250
+ Some ( "on-request " ) => * slot = SolverProofTreeCondition :: OnRequest ,
1250
1251
Some ( "on-error" ) => * slot = SolverProofTreeCondition :: OnError ,
1251
1252
_ => return false ,
1252
1253
} ;
@@ -1477,8 +1478,9 @@ options! {
1477
1478
"output statistics about monomorphization collection" ) ,
1478
1479
dump_mono_stats_format: DumpMonoStatsFormat = ( DumpMonoStatsFormat :: Markdown , parse_dump_mono_stats, [ UNTRACKED ] ,
1479
1480
"the format to use for -Z dump-mono-stats (`markdown` (default) or `json`)" ) ,
1480
- dump_solver_proof_tree: SolverProofTreeCondition = ( SolverProofTreeCondition :: Never , parse_solver_proof_tree_condition, [ UNTRACKED ] ,
1481
- "dump a proof tree for every goal evaluated by the new trait solver. The default is `always`" ) ,
1481
+ dump_solver_proof_tree: SolverProofTreeCondition = ( SolverProofTreeCondition :: OnRequest , parse_solver_proof_tree_condition, [ UNTRACKED ] ,
1482
+ "dump a proof tree for every goal evaluated by the new trait solver. If the flag is specified without any options after it
1483
+ then it defaults to `always`. If the flag is not specified at all it defaults to `on-request`." ) ,
1482
1484
dump_solver_proof_tree_uses_cache: Option <bool > = ( None , parse_opt_bool, [ UNTRACKED ] ,
1483
1485
"determines whether proof tree generation uses the global cache" ) ,
1484
1486
dwarf_version: Option <u32 > = ( None , parse_opt_number, [ TRACKED ] ,
0 commit comments