diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-11-23 09:47:07 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-12-01 14:04:54 +0000 |
| commit | de2b8b13d4f4fe71b6915b5de6dee6ed1f6d3cb8 (patch) | |
| tree | 035fc07ea75cb954024bd728ebfd65ebdf4f47c3 /compiler/rustc_borrowck/src/dataflow.rs | |
| parent | b442120a3097585b72d9f03eb71ba11c050883a3 (diff) | |
| download | rust-de2b8b13d4f4fe71b6915b5de6dee6ed1f6d3cb8.tar.gz rust-de2b8b13d4f4fe71b6915b5de6dee6ed1f6d3cb8.zip | |
improve NLL/polonius scope equality assertion
Diffstat (limited to 'compiler/rustc_borrowck/src/dataflow.rs')
| -rw-r--r-- | compiler/rustc_borrowck/src/dataflow.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_borrowck/src/dataflow.rs b/compiler/rustc_borrowck/src/dataflow.rs index b3d14c1beb5..54f161ea9b4 100644 --- a/compiler/rustc_borrowck/src/dataflow.rs +++ b/compiler/rustc_borrowck/src/dataflow.rs @@ -432,7 +432,8 @@ impl<'mir, 'tcx> Borrows<'mir, 'tcx> { 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; |