user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update to polonius 0.11 to compute subset errors

Browse source 
- adapt to the new polonius `FactTypes` API
- reorganize the type aliases referring to polonius to avoid referencing the inner atom or fact types multiple times: only one input and output types should be enough for everyone. They could equally be in `borrow_check` as `nll` though.
This commit is contained in:
lqd 2019-11-18 13:45:41 +01:00 • committed by Remy Rakic
parent 7b482cdf7c
commit 479cc7ae9a
6 changed files with 26 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/librustc/Cargo.toml
View file

@ -20,7 +20,7 @@ scoped-tls = "1.0"
log = { version = "0.4", features = ["release_max_level_info", "std"] }
rustc-rayon = "0.3.0"
rustc-rayon-core = "0.3.0"
polonius-engine = "0.10.0"
polonius-engine = "0.11.0"
rustc_apfloat = { path = "../librustc_apfloat" }
rustc_feature = { path = "../librustc_feature" }
rustc_target = { path = "../librustc_target" }