]> git.lizzy.rs Git - rust.git/commit
Polonius fact generation: fix path access fact location
authorRemy Rakic <remy.rakic@gmail.com>
Sun, 29 Mar 2020 23:13:03 +0000 (01:13 +0200)
committerRemy Rakic <remy.rakic@gmail.com>
Sun, 29 Mar 2020 23:13:03 +0000 (01:13 +0200)
commit860f71f141baf8228a9d71a75092ff2378bfee42
treea11e29403afcba0a105b170e1b8e7348cc50febb
parentdf1ac679135f5e8dfbfdc948b906890d44436f50
Polonius fact generation: fix path access fact location

This will fix the other move errors false positives:
emitting the fact at the start point caused accesses to be at the
same point as an initialization fact of the return place of a call
on the following block, which emitted an error.
src/librustc_mir/borrow_check/type_check/liveness/polonius.rs