about summary refs log tree commit diff
diff options
context:
space:
mode:
-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>,