diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-07-30 22:06:55 +0200 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-08-03 20:29:24 +0200 |
| commit | 06437642a134a34c9a0a5d88ac2b2ca0dff0efa1 (patch) | |
| tree | 7c0887004e260e12b5f7db5cdefefd40cf3dfce6 | |
| parent | 99cc35daeff45297ee306ec87c5f4bfe4f57adf4 (diff) | |
| download | rust-06437642a134a34c9a0a5d88ac2b2ca0dff0efa1.tar.gz rust-06437642a134a34c9a0a5d88ac2b2ca0dff0efa1.zip | |
make the hybrid variant the default polonius algorithm
| -rw-r--r-- | compiler/rustc_mir/src/borrow_check/nll.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_mir/src/borrow_check/nll.rs b/compiler/rustc_mir/src/borrow_check/nll.rs index 95854b146a9..b36bedcfc11 100644 --- a/compiler/rustc_mir/src/borrow_check/nll.rs +++ b/compiler/rustc_mir/src/borrow_check/nll.rs @@ -282,7 +282,7 @@ pub(in crate::borrow_check) fn compute_regions<'cx, 'tcx>( if infcx.tcx.sess.opts.debugging_opts.polonius { let algorithm = - env::var("POLONIUS_ALGORITHM").unwrap_or_else(|_| String::from("Naive")); + env::var("POLONIUS_ALGORITHM").unwrap_or_else(|_| String::from("Hybrid")); let algorithm = Algorithm::from_str(&algorithm).unwrap(); debug!("compute_regions: using polonius algorithm {:?}", algorithm); let _prof_timer = infcx.tcx.prof.generic_activity("polonius_analysis"); |