about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-10-28 11:34:13 +0200
committerRalf Jung <post@ralfj.de>2023-10-28 11:34:13 +0200
commit64678d46678a8bb6ecdb8a6d71f4203858a4a2b2 (patch)
tree44136f531d2cb9d0be60053b5d6e8314e68e097a
parent688892938e825312fcf808236af95cadb4f088e9 (diff)
downloadrust-64678d46678a8bb6ecdb8a6d71f4203858a4a2b2.tar.gz
rust-64678d46678a8bb6ecdb8a6d71f4203858a4a2b2.zip
-Zunpretty help: add missing possible values
-rw-r--r--compiler/rustc_session/src/options.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs
index fd473acbd3c..ab170e1eac8 100644
--- a/compiler/rustc_session/src/options.rs
+++ b/compiler/rustc_session/src/options.rs
@@ -1902,6 +1902,7 @@ written to standard error output)"),
         `hir` (the HIR), `hir,identified`,
         `hir,typed` (HIR with types for each node),
         `hir-tree` (dump the raw HIR),
+        `thir-tree`, `thir-flat`,
         `mir` (the MIR), or `mir-cfg` (graphviz formatted MIR)"),
     unsound_mir_opts: bool = (false, parse_bool, [TRACKED],
         "enable unsound and buggy MIR optimizations (default: no)"),