diff options
| author | lcnr <rust@lcnr.de> | 2024-05-24 18:23:24 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-05-24 18:41:31 +0000 |
| commit | ebd9f355e2b34e36bd5b326c24a5c0eb0b40a371 (patch) | |
| tree | 6d0aca0a768468b6b672a67fb35b4b6b63d47cd2 /compiler/rustc_session/src/config.rs | |
| parent | 213ad10c8f0fc275648552366275dc4e07f97462 (diff) | |
| download | rust-ebd9f355e2b34e36bd5b326c24a5c0eb0b40a371.tar.gz rust-ebd9f355e2b34e36bd5b326c24a5c0eb0b40a371.zip | |
remove proof tree formatter, make em shallow
Diffstat (limited to 'compiler/rustc_session/src/config.rs')
| -rw-r--r-- | compiler/rustc_session/src/config.rs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/compiler/rustc_session/src/config.rs b/compiler/rustc_session/src/config.rs index 5ac4d194e87..c90da966e70 100644 --- a/compiler/rustc_session/src/config.rs +++ b/compiler/rustc_session/src/config.rs @@ -796,16 +796,6 @@ pub struct NextSolverConfig { /// Whether the new trait solver should be enabled everywhere. /// This is only `true` if `coherence` is also enabled. pub globally: bool, - /// Whether to dump proof trees after computing a proof tree. - pub dump_tree: DumpSolverProofTree, -} - -#[derive(Default, Debug, Copy, Clone, Hash, PartialEq, Eq)] -pub enum DumpSolverProofTree { - Always, - OnError, - #[default] - Never, } #[derive(Clone)] |