]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d18bfd6) | patch
cleanup polonius liveness fact generation: refactor some type names
authorRemy Rakic <remy.rakic@gmail.com>
Mon, 9 Dec 2019 17:59:49 +0000 (18:59 +0100)
committerRemy Rakic <remy.rakic@gmail.com>
Tue, 10 Dec 2019 10:44:44 +0000 (11:44 +0100)
commit72579c944446465f0f6042725f112485d04b9f6d
tree54824eaa64a88e3da374f46099dd529c6fcc1774tree | snapshot
parentd18bfd647e0e4c81f9e37c7e2f510e297cc85236commit | diff
cleanup polonius liveness fact generation: refactor some type names

- singular instead of plurals for a relation
- terminology: use "Path"s instead of "MovePath"s
src/librustc_mir/borrow_check/nll/type_check/liveness/polonius.rs diff | blob | history
Empowering everyone to build reliable and efficient software.