languages/rust
languages/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust synced 2024-10-14 20:46:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

improve NLL/polonius scope equality assertion

Browse source
This commit is contained in:
Rémy Rakic 2023-11-23 09:47:07 +00:00
parent b442120a30
commit de2b8b13d4
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_borrowck/src/dataflow.rs
View file

@ -432,7 +432,8 @@ pub fn new(
assert_eq!(
borrows_out_of_scope_at_location, polonius_prec.loans_out_of_scope_at_location,
"the loans out of scope must be the same as the borrows out of scope"
"polonius loan scopes differ from NLL borrow scopes, for body {:?}",
body.span,
);
borrows_out_of_scope_at_location = polonius_prec.loans_out_of_scope_at_location;