diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-06-30 11:55:38 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-10-04 16:16:12 +0000 |
| commit | 4f7a27b225a28c3600c788563ed66bf64285a79f (patch) | |
| tree | 6e07049c6d61860d55832ae53c5051ff7f62d952 /compiler/rustc_interface/src | |
| parent | 2ffeb4636b4ae376f716dc4378a7efb37632dc2d (diff) | |
| download | rust-4f7a27b225a28c3600c788563ed66bf64285a79f.tar.gz rust-4f7a27b225a28c3600c788563ed66bf64285a79f.zip | |
introduce `Polonius` enum for `-Zpolonius`
this allows to opt into using the legacy version or the in-tree prototype
Diffstat (limited to 'compiler/rustc_interface/src')
| -rw-r--r-- | compiler/rustc_interface/src/tests.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_interface/src/tests.rs b/compiler/rustc_interface/src/tests.rs index 2510ce71460..7799af37008 100644 --- a/compiler/rustc_interface/src/tests.rs +++ b/compiler/rustc_interface/src/tests.rs @@ -9,6 +9,7 @@ use rustc_session::config::DebugInfo; use rustc_session::config::Input; use rustc_session::config::InstrumentXRay; use rustc_session::config::LinkSelfContained; +use rustc_session::config::Polonius; use rustc_session::config::TraitSolver; use rustc_session::config::{build_configuration, build_session_options, to_crate_config}; use rustc_session::config::{ @@ -814,7 +815,7 @@ fn test_unstable_options_tracking_hash() { tracked!(panic_abort_tests, true); tracked!(panic_in_drop, PanicStrategy::Abort); tracked!(plt, Some(true)); - tracked!(polonius, true); + tracked!(polonius, Polonius::Legacy); tracked!(precise_enum_drop_elaboration, false); tracked!(print_fuel, Some("abc".to_string())); tracked!(profile, true); |