bors 2442823ef5 Auto merge of #56507 - nikomatsakis:polonius-integrate, r=MatthewJasper ...

polonius tweaks

- bump polonius to 0.6.0
- fix 2-phase-borrow activations

r? @matthewjasper

2019-01-03 12:42:16 +00:00

..

constraints

Remove licenses

2018-12-25 21:08:33 -07:00

explain_borrow

Remove licenses

2018-12-25 21:08:33 -07:00

region_infer

Remove licenses

2018-12-25 21:08:33 -07:00

type_check

Wf-check the output type of a function in MIR-typeck

2019-01-02 20:00:56 +00:00

constraint_generation.rs

Remove licenses

2018-12-25 21:08:33 -07:00

facts.rs

Remove licenses

2018-12-25 21:08:33 -07:00

invalidation.rs

generate invalidations from 2-phase-borrow activations

2019-01-02 14:44:25 -05:00

mod.rs

Add user type annotations to MIR dump.

2018-12-30 14:30:58 +01:00

renumber.rs

Refactor UserTypeAnnotation.

2018-12-30 14:25:20 +01:00

universal_regions.rs

Remove licenses

2018-12-25 21:08:33 -07:00