From adefeb80c3e22038216d758aa40a66ff88a792c4 Mon Sep 17 00:00:00 2001 From: Boxy Date: Tue, 4 Jul 2023 09:17:41 +0100 Subject: [PATCH] change flag name --- compiler/rustc_session/src/options.rs | 2 +- compiler/rustc_trait_selection/src/solve/eval_ctxt.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index 5256237336c..58ea6ef1f9e 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1481,7 +1481,7 @@ pub(crate) fn parse_solver_proof_tree_condition( dump_solver_proof_tree: SolverProofTreeCondition = (SolverProofTreeCondition::OnRequest, parse_solver_proof_tree_condition, [UNTRACKED], "dump a proof tree for every goal evaluated by the new trait solver. If the flag is specified without any options after it then it defaults to `always`. If the flag is not specified at all it defaults to `on-request`."), - dump_solver_proof_tree_uses_cache: Option = (None, parse_opt_bool, [UNTRACKED], + dump_solver_proof_tree_use_cache: Option = (None, parse_opt_bool, [UNTRACKED], "determines whether proof tree generation uses the global cache"), dwarf_version: Option = (None, parse_opt_number, [TRACKED], "version of DWARF debug information to emit (default: 2 or 4, depending on platform)"), diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs index 1d7c5a13068..b2e464bd7fb 100644 --- a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs +++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs @@ -183,7 +183,7 @@ fn enter_root( let inspect = { let generate_proof_tree = match ( infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree, - infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree_uses_cache, + infcx.tcx.sess.opts.unstable_opts.dump_solver_proof_tree_use_cache, generate_proof_tree, ) { (_, Some(use_cache), GenerateProofTree::Yes(_)) => {