Skip to content

Commit

Permalink
Update compiler/rustc_mir/src/borrow_check/consumers.rs
Browse files Browse the repository at this point in the history
  • Loading branch information
nikomatsakis authored Jul 30, 2021
1 parent f13396e commit e5e6acd
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions compiler/rustc_mir/src/borrow_check/consumers.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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>,
Expand Down

0 comments on commit e5e6acd

Please sign in to comment.