Rename `debugging_opts` to `unstable_opts`

This is no longer used only for debugging options (e.g. `-Zoutput-width`, `-Zallow-features`).
Rename it to be more clear.

diff --git a/src/driver.rs b/src/driver.rs
index 96d542cfe105223b59c13d7b57398de1d7e70d2e..c219c7de830efdd275e7f2e4d788bd4543b6ab82 100644 (file)
--- a/src/driver.rs
+++ b/src/driver.rs
@@ -117,7 +117,7 @@ fn config(&mut self, config: &mut interface::Config) {
         // run on the unoptimized MIR. On the other hand this results in some false negatives. If
         // MIR passes can be enabled / disabled separately, we should figure out, what passes to
         // use for Clippy.
-        config.opts.debugging_opts.mir_opt_level = Some(0);
+        config.opts.unstable_opts.mir_opt_level = Some(0);
     }
 }