Niko Matsakis 780f6c52cc extract out fully_perform_op_and_get_region_constraints

2018-06-09 11:02:13 -04:00

..

explain_borrow

rework causal tracking to explore outlives relationships

2018-05-09 23:21:24 -03:00

region_infer

tweak debug output some more

2018-05-29 15:09:37 -04:00

type_check

extract out fully_perform_op_and_get_region_constraints

2018-06-09 11:02:13 -04:00

constraint_generation.rs

Insert fields from TypeAndMut into TyRef to allow layout optimization

2018-05-08 16:21:58 +02:00

facts.rs

Use AllFacts from polonius-engine

2018-05-24 19:56:02 -03:00

invalidation.rs

rust-lang/rust#27282: Add StatementKind::ReadForMatch to MIR.

2018-05-29 23:01:36 +02:00

mod.rs

Change the log level of the message reporting the selected Polonius algorithm to debug.

2018-06-02 14:20:04 +02:00

renumber.rs

Store the GeneratorInterior in the new GeneratorSubsts

2018-05-08 16:21:58 +02:00

subtype_constraint_generation.rs

put the RegionConstraintData into an Rc

2018-06-09 11:02:13 -04:00

universal_regions.rs

rustc: use intern_* instead of mk_* where possible.

2018-05-21 12:13:19 +03:00