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,