]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a3dca6) | patch
Implement subset errors using Polonius
authorRemy Rakic <remy.rakic@gmail.com>
Wed, 20 Nov 2019 10:13:03 +0000 (11:13 +0100)
committerRemy Rakic <remy.rakic@gmail.com>
Fri, 6 Dec 2019 10:50:02 +0000 (11:50 +0100)
commit02a6662e2feec6ecf49d497c78ecf17599223e03
tree35c235643895c00d51053989e0df18148d82c646tree | snapshot
parent7a3dca69bb706a015cf220a80ca35234dd2aeee6commit | diff
Implement subset errors using Polonius

- switches to using the Naive variant by default
- emits subset errors or propagates unsatisfied obligations
  to the caller
src/librustc_mir/borrow_check/nll/mod.rs diff | blob | history
src/librustc_mir/borrow_check/nll/region_infer/mod.rs diff | blob | history
Empowering everyone to build reliable and efficient software.