bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Update compiler/rustc_mir/src/borrow_check/consumers.rs

Browse source
This commit is contained in:
Niko Matsakis 2021-07-30 15:13:28 +03:00 • committed by GitHub
parent f13396ed11
commit e5e6acdd00
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_mir/src/borrow_check/consumers.rs
View file

@ -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>,