about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2021-07-30 15:13:28 +0300
committerGitHub <noreply@github.com>2021-07-30 15:13:28 +0300
commite5e6acdd006bd1479951e192e189f491cef5f11b (patch)
tree2deeb7b2cae37a64a7c80501590790bf4a04c309
parentf13396ed11b921d42f4a534797f7d33e505e608a (diff)
downloadrust-e5e6acdd006bd1479951e192e189f491cef5f11b.tar.gz
rust-e5e6acdd006bd1479951e192e189f491cef5f11b.zip
Update compiler/rustc_mir/src/borrow_check/consumers.rs
-rw-r--r--compiler/rustc_mir/src/borrow_check/consumers.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_mir/src/borrow_check/consumers.rs b/compiler/rustc_mir/src/borrow_check/consumers.rs
index 77509d173bf..f6e4e388841 100644
--- a/compiler/rustc_mir/src/borrow_check/consumers.rs
+++ b/compiler/rustc_mir/src/borrow_check/consumers.rs
@@ -24,6 +24,8 @@ pub use super::{
 ///     that shows how to do this at `src/test/run-make/obtain-borrowck/`.
 /// *   This function will also panic if computation of Polonius facts
 ///     (`-Zpolonius` flag) is not enabled.
+///
+/// *   Polonius is highly unstable, so expect regular changes in its signature or other details.
 pub fn get_body_with_borrowck_facts<'tcx>(
     tcx: TyCtxt<'tcx>,
     def: ty::WithOptConstParam<LocalDefId>,