diff options
| author | Boxy <supbscripter@gmail.com> | 2023-07-04 09:17:41 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2023-07-04 09:17:41 +0100 |
| commit | adefeb80c3e22038216d758aa40a66ff88a792c4 (patch) | |
| tree | 702303b3e9cabdebbd286f85e64b8635f75288e5 | |
| parent | 2ad00f471a14581b7fafb0cdaf87173c8adb6c26 (diff) | |
| download | rust-adefeb80c3e22038216d758aa40a66ff88a792c4.tar.gz rust-adefeb80c3e22038216d758aa40a66ff88a792c4.zip | |
change flag name
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 | ||||
| -rw-r--r-- | 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 @@ options! { 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<bool> = (None, parse_opt_bool, [UNTRACKED], + dump_solver_proof_tree_use_cache: Option<bool> = (None, parse_opt_bool, [UNTRACKED], "determines whether proof tree generation uses the global cache"), dwarf_version: Option<u32> = (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 @@ impl<'a, 'tcx> EvalCtxt<'a, 'tcx> { 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(_)) => { |